Discussion of CRT pin repairs here, along with a link to an 1960 ad for a pin crimping tool:
http://antiqueradios.com/forums/view...p?f=3&t=155041
With the crimper, there was no need to solder. It just smashed the existing crystallized solder back into contact with the wire, apparently. You could probably do that much with a pair of pliers, but the crimper makes sure that the pin remains round enough to allow the socket to go back on...