[Cochrane 951]

What I did was glue a washer to the bottom of an old sensor that was 8 mm set it and tighten the bracket then replace the sensor with a new sensor.