These may be useful for people milling their own extruder heads.
It's a 3 mm ball end mill. 25 mm cutting length, 76 mm overall length. $ 16.79
[
www.discount-tools.com]
(discount-tools.com has a fairly good reputation.)
I'm mentioning it here because I had trouble finding extra long 3 mm ball end mills online and in stores.
