May I suggest somthing I ran into doing my 475?
I was gonna do a in-sump pump return, but mag drive pumps in the 2000gph+ range are pricey, AND worse, consume
ALOT of electricity and that = heat, which I know was gonna be a problem for me cause I was gonna run 2000watts MH light - so I found a great little pump made by reef flow, it's external, but the pump is desinged to run on a snorkel - so no drilling 2" holes in sump glass - pump is small/takes up little space on cabinet floor/uses like <100 watts/is very quiet/has a USA built motor that about ANY motor repair shop could rebuild/pump reseal kits are avialable/and they're cheep by compare to a 2400gph mag drive submersible.....here's a pic r 2 of how I run mine:
Here's the reef flo snapper, 2400 gph. the vertical is the 1.5" return, which gets split down here in the stand for dual jets up in the tank. The pump puts out NICE flow, and the dual 5/8" jets in the tank flow STRONG

Here's the 2" dia input s/o valve and disconnect - this is the suction side and notice the actual "wet" pvc pipe in the 75gal sump, just behind the red s/o vaalve. Notice I throttle my s/o valve back almost 1/4 - this pump seriously delivers 2000 gph @ 6' head.

here's the "U-turn" the suction pipe makes going into the sump.. Only thing you gotta do is "prime" the pipes with water(from the jets up top) prior to starting up the first time only>>> from then on, everytime I trun the power back on after a waterchange, she kicks on and runs like a total champ.....I keep about 10" waterlevel in the sump.

Sadly I hear they may have discontinued this model - but I bought a reseal kit too, and I can get the motor rebuilt anywhere, when the time comes. I run a bigger model for the re-circulation, the barracuda, 4300gph.....I was so happy with their quality and after seeing how nice these units run, I bought a spare of each of them, and have a spare reseal kits too...I should have pumps for many years to come...
I checked bulk reef supply and they have a 2400 snapper in stock. For $300 plus a $50 reseal kit for it, you'd not have to worry about it for many years, and like stated before - the motor is made in USA and is a pretty standard plain AC motor, easily rebuilt by any repair shop.....Some of the japanese mag drive pumps have japan made motors and parts for them can be a pain to get sometimes.
This design may not work for yall, but it runs very well on my 475 - and I don't think it'd be too much pump, cause you can run the thing all day long at less than 50% flow, while large mag drive pumps don't like to be throttled back too far, they really heat up the water then!