How many mice would you say would do ok in a 10X20 tub?