FuelPumpKing.com is out of the DI fuel pumps. Is there any other source for new pumps besides a $750 unit from Sea Doo?

I've heard rumors of being able to use an external EKP4 pump made by bosch?