Get him to do a pressure test on the cooling system in the morning, it's usually nothing serious but it could also be the beginning of a hose letting go so not worth the risk of blowing a motor if you're not too familiar around the car.