[old_coot88]

It may sound heretical, but the Radio Shack contact cleaner does an adequate job. I've used it for years since the demise of the local parts houses.

Bending tube pins or socket lugs should be very last resort.