Would it not be possible to use 3mm carbide end mills with a 3.172 shank and an adaptor if you dont have a 3.172 adaptor? these cutters will plunge and are very cheap. I use them quite often although I mostly use 0.5mm - 2.0mm. G.