My son's saturn has been running cold, thermostat stuck open. He drives short trips about 4 miles. I'm changing the thermostat today, and the oil (penn hm 500miles on it). I'm curious, how many people would change the oil, or would leave it in? It has a slight fuel smell on the dipstick.