FWIW folks, Ref: tube socket re-tensioning ..
Iv`e had excellent results for many decades using the large diaper safety pins straightened out while repairing many guitar amps.
It was part of my standard routine for all vintage amps before hosing out all tube sockets with contact cleaner ...
This procedure was most especially important for combo tube amps, as the tubes hang upside down, and not all models had tube retainer clips.
I had SS dental picks too, but they tended to get buggered up using them in that application, so I went the inexpensive big diaper safety pin method back in the late eighties, and haven`t looked back..
I also found dental drill bits helpful for "mildly" scraping out the large tube pin sockets when corrosion was present, as these amps were played in FL., and salt air/humidity were ever present .
Anyway.
Just a thought/suggestion folks.
Take care.
Kind regards, OKB
I too use the large safety pin for retensioning. Works like a charm.
I also use carburetor cleaning needles and brushes to clear them if they are very oxidized.