I have a John Hacket tool if any one needs to borrow it , once you know the height with that then you can use any other tool ,just plus/minus any difference
But as said in doogalmans post its 20mm , but if any one needs my tool to put their mind at rest then let me know
