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 filament and the outer diameter slightly smaller than the barrel but I can't find any specific figures.

Thanks