The socket can be repaired, relatively easily.  Simply weld a bead up aech
side and then use a cut off tool the recut the slot, just wide enough for the
pin.  I do this to all my buses. It's definately worth the time.

Martin