Electronic connector diameters

[jpw]

After a little research on electronic systems i came up with these numbers about Di2 and EPS wire connector diameters;

Di2 connector diameter = 5.1mm, grommet for frame hole 6mm diameter

EPS connector diameter = 7 mm, grommet for frame hole 7.4mm diameter

are they the correct numbers?