sounds like when they changed the coolant they have either not bleed the system through correctly took it for a spin an its over heated an they brought it back an topped it up thinkin it is ok or they did not bother road testing it an when your friend has started his journey home he has noticed it getting hot due to an air lock but has also done the head gasket due to overheating ???????
if you understand that ????