used a hg sealer some time ago with a Hyundai Accent which started to smoke and
had some mayo on the oil cap.
It's filled in the radiator directly.
Run it for another 20k mls without any issues before I sold it.
'Blue Devil' seems to be the best brand.
But not sure if I would use it with the TF also...