dgangle
total rice
Anything that will remove the cast iron or whatever it's made of. Prolly the stone but try/use whatever works best. You'll know in about 0.00025 seconds if what you selected is going to work. My $25 Home Depot-special die grinder came with all kinds of different cutters and I been using them on al kinds of little projects like this.
