Hola de nuevo, el de la puerta lo acabo de volver a mirar y efectivamente la medida es 7,5mm (algo menos incluso). El diámetro que me preguntas es de 9mm.

Un saludo