40-gallon. How many mice?