Does anyone know the outside or inside diameter of the tube that goes into the standard air filter box on the mk2 172/cup?