I wonder whether anybody has ever used these new engine "additives" which advertise nano-technology to fix minor head gasket leaks? As I remember they need to have all coolant removed first and replaced with water; costs are around $50.