What's the name of this nice spring contact?
I can't tell well enough from the image, but is there any chance they're these with a leg cut off? Are they about 2.7 mm dia.?



They're from Toby Electronics.