Wonder if he's just got oil in the water and thinks the head gaskets, gone?
Combined with another cooling problem? (not bled properly, water pump etc?)
If the head gasket had gone, it wouldn't realy drive in a way you 'd want to, ie not too smooth, running on 3cylinders maybe.