Omlouvám se. Je to cca 7 mm.

edit:
Nemám možnost to rozměrově ověřit, protože nemám adaptér u sebe.
Asi to bude toto. https://www.dhgate.com/product/7-9-5-5mm-male-plug-dc-power-supply-adapter/491413089.html#redirect_detail=WAP2PC
Potřebuji však jen konektor. I když by byl celý kabel, tak se domnívám, že není šance bez destrukce rozebrat plasty adaptéru. Tyto budou buď slepené nebo opatřené svárem plast-plast.
Proto vidím smysl ve snaze sehnat konektor, který snad v druhovýrobě vyrobili trochu přesně a nebude vypadávat. Výměna konektoru bude levnější a snazší co do materiálu a pracnosti.

edit 2:
Snímky štítku a konektoru
http://imgway.cz/s/2lMT
http://imgway.cz/s/1VM0