No they haven’t gotten near the main house and never inside of our shed either (only mice and I think we have trapped and killed the whole nest because the mice slowly got smaller in the traps and now we haven’t had any for 6 months or more)

I will probably do traps because changing the compost up would probably cost hundreds of euros that we can’t afford right now with our renovation, we have an open compost now, but only uncooked veggie scraps go on it and coffee grounds. Also maybe getting rid of most of the places they can live (we have a pile of scrap iron from our renovation that our german shepherd is convinced something is living in) might help push them further away from the house.