-
I don’t know how common they are
LMGTFY...
Obviously I checked before posting, which is why I said 0.8mm (widely available) rather than my first guess of a small diameter long cut length routing bit which would have been 0.75mm
even if our workshop has collets that small
They're (anything under 3mm) usually either 3mm or 1/8" shank regardless of cutting diameter
it takes for fricking ever to make any cut with cutters that small
Obvs. You'd only use the little cutter for finishing the internal corners.
0.8mm cutter is like dental burr territory though. I have some at work around that size for specialist cutting but I don’t know how common they are edit: or even if our workshop has collets that small. And it takes for fricking ever to make any cut with cutters that small.