I'd look for something in the 1000 gph range, assuming you'll drop a few hundred gph due to head loss. The mag-drive 9.5 or 12 would probably be popular choices but I'm not personally a fan. The Quiet One 4000 is similar in performance to a 9.5 in this sort of application but is cheaper and uses half the power. That would probably be my personal choice.