the hydraulic lifter is 12.0mm in diameter, the upper section is 7.9mm in diameter
the total height of the lifter is 37mm, of which 10mm is the upper section
of course the upper section will be less than 10mm when installed, but thats the hard part, adjusting the length of 16 lifters !