btw, I know that this doesn't work for everyone, when i had an invasion, traps, poision, had no effect over several months. (never tried pepermint) but some kids were giving away kittens out side the local grocery store, so I took one home. it only took 4 days and there wasn't a mouse in the house.
that kitty kept our home free of mice for 7 years, until he was catnapped buy a neighbors mentaly handycapped child. My kids were not happy (it was a good life experience for them) but we decided that it was best to let him keep the cat who he now keeps as a constant companion.