I’m pretty car dumb…are coolant and anit-freeze different? When I go back to the mechanic, should I ask for an overnight pressure test, or would I need to go to some kind of specialist. He owns a pretty small garage. If it is a small leak, is it doing serious damage to the car?