I've used a Jabsco "Centri Puppy"... model 18510-Series, for years.
Flows 20 GPM, and I used a rheostat to slow down/speed up pump, to suit my/your own cylinder head temperature preferences.
Fairly reasonable and can be purchased at any marine supply store... just ask for bilge pump section.
Course not many marinas at Bonni...........