Update: did a big spray this morning, and saw nothing run for cover, and as yet, no bodies have turned up. Not sure what to make of all that!
Spitfire58 — no, there's no damp, fortunately. It's very nicely kitted out; I've obviously made it too nice for them... There is a kitchen sink, a bathroom with shower/toilet/handsink, and the water tank is down there, too, but there is no damp in the walls/floors and it's kept very clean.
Decho — DESIC is on our list for tonight, thank you!
Johnrgby — thanks for the tip! We will pick some up and bring them back next time we have to head home. I use something similar at home to deter spiders, but if that brand has worked for you, I will look into those specifically.
Emmi Smith — where do you buy the ZUM? Mercadona? Spar? Dinos? Looking for all available solutions, haha.
Sam — thank you for the tip! I will leave that video on tonight and hopefully that will drive the little buggers out if any are remaining. Will also invest in the Preben Laca for spraying when we are heading home (or before, if the gentler solutions don't knock the problem on the head in the next couple of days).
Thank you all so much for your support and information! I really appreciate it, and hopefully can sleep better tonight for it.