In case the smell that the mice left behind is still an issue, there is something called, "Nature's Miracle" which I have used that did an amazing job of getting the smell out. I have used it in an old truck and in a building where the bats had taken over. It works!
