My pond is in full sun, sunrise to sunset, a little less in the winter. I picked up one pump from the classified here (4200 gph). The other sequence, from a different source. I ended up with two just in case one stopped running to keep the bio alive mid summer. Easy quick swap.
I also have two dragon pumps being shipped from my arizona pond. I had to shut it down due to issues, up keep and renters.
So have a few pumps lol all external The dragon pumps were not cheap, so I asked to have them shipped east for me.My pond there was 14k, the dragon is the 1/3 hp one, don't recall the gph think 6k or so, would need to look it up to be accurate.