On 6/15/2019 4:09 PM, Bob Engelhardt wrote:
...
I found these contacts that look to be identical to the ones in the tool:
https://www.digikey.com/product-deta...7CT-ND/5287249
...

Wait ... that's the pin, the contact:
https://www.digikey.com/product-deta...256-ND/3263485
(the "Drawing" link has all the details).