"William Noble" wrote in message
.. .
I would seriously consider using a diamond or silicon carbide abrasive bit
and just grinding the pin down - if you make a little wax dam all around it
you can keep water in there to cool and remove the ground up metal - it
should grind away just fine if you are patient - a dremel tool (or better
an air tool to eliminate shock hazard) would do the trick

Your idea is the one I had next, William, but both of the types you
recommended are not proper for application on steel. Both of them are
soluble at heat, and dull quickly. Aluminum oxide would be the best choice
here, unless speed could be kept quite low, then diamond would work
reasonably well. Heat is going to be a problem, so this entire matter
should be handled slowly, allowing plenty of time for it to dissipate.

Harold