All you need are some outside cats roaming the spacious yard to discourage the small cute furry little rodents from “cozying” up in your house. When living in an urban dwelling with 50 other families, other strategies are needed.
Yeah; we've had mouse problems in our 90-ish-year-old house ever since we moved in a decade+ ago. Then in the winter of 2019-20, a cat started sheltering in our garage on a regular basis.
We had no mouse problems that winter, and very few since then.