My sea water pump (Yanmar 3GM30F) is leaking. I had it rebuilt 2 or 3 years ago and now I’d like to replace it. Anyone else do this lately? A quick online search shows prices ranging from about $300 for a replacement brand to almost $500 for a Yanmar pump. Is there a significant difference? Mike P #734