Just a small correction here:
If a pin gets stuck or get trap in the hole you do not need to de-soldered the socket & fit a new one. What you have to do is figure out how to remove the top part of the socket without breaking it. This is something I have not figure out yet, but i'm sure I can do it when I have time. Anyone taking apart an old socket please update thread how you did it, & were you able to put it back together "without breaking anything".
I've managed to do it once or twice and
it's not easy to do, most of the time the plastic cover will split/break to an extent but with the few I've done the cover could be set back on anyway and still do it's job. The cover after that will come off easily enough yet still remain in place - Just not as well as it did before.
As long as the CPU is in the socket it's not a problem but with one I've done it has an issue of the arm not exactly locking down but it still tends to hold the chip with pressure like it should - You just don't get the "Click" it should have.
You also make a good point about the intermittent contact vs soldering it, the instance I referred to was described a temporary fix at best. It
could work as long as it's not disturbed and OC'ed at all but I have to agree, if it can be soldered that would be the best fix.
Luckily that pin is on the edge of the chip and that would make the fix easier to do.
I've thought before about making a mold/casting of a chip/chip's pins from something like JB Weld/kneadable putty with an already dead (With no pins bent/missing) chip of the same socket. This way once this "Mold" has set, you simply place the chip in it then insert the replacement pin in the correct hole in the mold itself and apply heat to the new pin. Most likely the putty would be the thing and with a touch of saran or similar wrap it can be done without it sticking to the chip and this mold can be lifted off the chip without distorting it before it completely sets.
You'd have to pre-tin the pin at it's bottom with flux before placing it in but would work, biggest worry you'd have is another pin(s) getting too hot and falling over/out. The mold would keep them all in place eliminating this potential issue...... If it works.
I do have a couple of chips with badly bent/broken pins I could try it with one day and see.