Dr. Bob What is the circulartor pump for? I knew that sound under the hood was not the fan but I couldn't figure out what it was. Is it for coolant? CJI