Done.
What was left of the stock pin/screw needed a lot of persuasion with a drill, torch and kroil but it finally came out.
Measured the height of the stock piece as best as we could and got this steel bolt exactly 4.99mm, just where the stock one probably was.
Loctite and done.
edit: ps - one sensor is gapped at .8mm per manual, the new screw head is about 1mm away from the second sensor.
