Handmade on a piece of steel that probably started life as a star drill - 1/2" between flats. Used two tiny homemade chisels on smaller 6-sided piece of tool steel, one with a curved cutting edge, the other straight. Probably 3/16" stuff, with ends tapered to get the tiny chisels ends needed. Used tiny files to fine tune those chisels.