Er det da slik at 5/16" (7,9375 mm) indre diameter tilsvarer 3/8" (9,6 mm) ytre diameter, som vel er det som oppgis av de aktuelle selgerne på eBay? Jeg har forresten alt kjøpt armert plastslange på Bauhaus som passer ypperlig til bruk på "gass-siden", så det jeg trenger nå er ølslanger, altså...