We discovered that have some mice in the warehouse.

I set up some mouse traps, but I doubt that it will take care of the
problem fully. Maybe we should get a cat here. If so, what cats are
least troublemakers and good at catching mice?