sorry to be a pain can you guys with aftermarket sensors measure the diameter of the sensor heads for me please, and the link where you got them from need a set that are about 25mm to cover a 23.5mm hole, have emailed various companys on the bay and they're all useless at replying.!!
tia Paul