It is possible to remove these with basic garage
tools: all you need are
a small piece of thin sheet aluminum and a moderate precision 5/64"
metal dowel- in short an aluminum soda pop can and a 5/64 drill. Form
the aluminum into a tube with a slot suitable for 24 ga wire, put around
the pin, pull out- all in less time than it takes to drive to the
semi-local electronics store.
Now why didn't I ever think of that? Thanks!
Presumably one wants to be careful of the edges.
De