Trying not to hijack the OP thread, but is there a write-up on the kit used and how to do this?

Yes, several, but kind of hard to hijack a 12 yo thread.

No kit, $15.00 sensor and $22.00 gasket. Putting them in Tuesday.