jeg har 10 og 12 men 10ern var for liten.
Har googlet litt og det ser ut som det er 3/8 12-kant som er tingen, men i mitt hode er 3/8" ca 9.5mm så 10mm burde da gått på, men det er mulig man ikke måler størrelsen på piper på samme måten i metrisk og imperical.
Jeg hadde en 11mm fastnøkkel med tolvkant i ene enden, og den går akkurat på