I would like to purchase a 8000 - 10000 gph pump. From what I have read..... many recommend the Pondmaster pumps. But the highest "Pondmaster" pump I can find is the 6000 gph. When I do a search for Pondmaster pumps..... the Patriot Koi Pond Pump KP8000 comes up. Can anyone please tell me is this Patrriot pump a Pondmaster pump or equivalent? If not, can you please steer me in the right direction of a good pump of this size?