I definitely have some smaller pins with plastic ends, as used on old radio sets for aerial, headphone and possibly battery connections.
I will have a rummage tomorrow if I get the chance.
Chris.
(Currently working from home due to the pandemic, and wanting to stay well away from any potentially infection carriers.)