Hi Simon,

I'm late to the party on this one, have been traveling, but yes there is a special tool for this. Before I bought it I made one by slotting a mid size socket. I'm sure it was similar to what your tech did.

These sensors don't go bad often, but as... Login to read more.