My son bought a boat with 1995 9.9 hp (J10RELEOE) a couple years ago. It did not have a thermostat in it and the port for the stat is corroded so I don't even know how effective it would be. He's had trouble with the water pump not pumping. Would the missing thermostat have anything to do with...