la medida de los manguitos es de 3mm y de 5mm (Radio Interior) el exterior lo desconozco, pero del Radio exterior no debes de preocuparte no es importante, si del Radio Interior. el enlace que has puesto es el adecuado para pedirlos, pilla 5 metros de 3mm y 2 metros del de 5mm esas son las medidas.
si por el contrario ves estas medidas 3.5mm y 5.2mm también valen. salu2