My 225 has been leaking fluid like crazy so I took it in to a shop and have them look at it. Problem, bad waterpump. So now it's been replaced but it's still leaking. They are saying the engine is rusted/pitted where the gasket/waterpump mounts and they need to sand it down so it's flat and...