Luego cuando desmonte el driver mediré el diámetro del puerto por dentro (por fuera no lo puedo medir bien, es abocinado y no tengo calibre)

Edito: con unas tijeras muy rígidas a modo de calibre me han salido 65mm