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.