i have a genx gx 6000 that will be free whenever i get off my butt and plumb in my new
skimmer pump. it is rated at just over 1500 gph, which would work nicely for you. i will warn you though that all
submersible pumps will add a bit of heat to your system, mags, genx, and everything else, which is why i am swapping out for an external skimmer pump. if the 2 to 3 degrees that this pump will add, i would be happy to sell it to you. bought it for 60 6 months ago, would sell it for 40 if you want it.
earliest i could have it off of the tank is going to be monday.
other than that, i would look for a mag 12. with the head pressure on a return pump, a 9.5 will be too small. you might even opt for an 18, but it depends on the size of your drain.
if heat is an issue at your home in the summer, stop now and redisgn for an external though, cause as i said, all submersibles will add heat.