The size of tray pumps is really non-critical. Can be the smallest pump in the shop that can lift the water to tray level. Bigger pumps may fill the tray faster, but that's not important in a flood system. Bigger pumps, however, may be built better and may be more reliable in the long run...