Does anyone know the actual diameters for teflon liners inside the hotends for MK10 and MK11 for 1.75mm and 3mm filaments.

I would have thought the inside diameter was slightly larger than the...