If the house gets a cat, will our mouse problem go away?