I remember the hole through the ratchet being too small to fit the connector on the end of the sensor. If it isn't, then it's a big win.

The manual shows someone using a "tube spanner", which is basically a piece of hex tubing with the correct ID for the head of the sensor (13mm I think) and an OD that nicely fits a wrench, like 15mm.

--DD

Worked perfectly for me.

Craftsman Universal Sockets: Multiple Fasteners, Serious Grip at Sears

Good advice , thanks again............

I went to Lowes. Bought a deep socket -$5. Then coiled the wire in the socket. Took less than a minute to install.

Oh, cool! That's not the same one I looked at back when. I should look into that, it could come in handy some times...

--DD