blue devil is a head gasket sealer that actually works. its not cheap. like 40 bucks for a jug of it. pretty simple to use, flush to water remove the t stat, fill with water and add the jug of b/d run it for a 30 minutes iirc.
its sold at the local parts stores. cheaper if you buy on line at advance auto use a code to get moneys off.