[Arran]

With many of those molded Bakelite tube sockets, especially the Amphenol made ones, you can replace a broken terminal rather easily, but you have to desolder everything from it, and then you straighten the terminal to flatten out the little barb, and push it up through the top. The ones in the radio look like Cinch brand sockets, but I think the terminals come out the same way.
Regards
Arran