今うちにあるHPMの縦の柱を穴から測ったけど
3mmあるよ。
ただ、ばらつきがあるのか場所によっては2.8とか2.9の所もある。もちろんバリがない所で測ってる。