A well meaning friend put about 1/2 quart of 30 weight oil into the fresh water cooling system of my M18 Universal before discovering his error. I got most out with an oil extractor and from the overflow, but wonder what else needs to be done? Drain the system and replace the thermostat? Potenial problems from running it with a little oil in the fresh water system?