Eben getan.
Ohne den Drücker bei 10 Uhr sind es nach wie vor 38,40 mm (bei 4 Uhr sind Gehäuse- und Lünettenaußenkante bündig).
Mit dem Drücker bei 10 Uhr sind es 43 mm.

Was jetzt? Mittelwert? Läge aber bei 40,70 mm.