[codefox1]

Certainly quite a few alternatives. Any riveit can be carefully and slowly drilled out and replaced afterwoods with a screw and some reinforcement ala bondo or whatever after everything checks out and should be good for another 50 years of so. can't tell exactly, but if the socket is identical to a 5 pin tube, you could harvest a dud carefully and use the base, and even save the old wiring in a little bag for future purists, (I wouldn't but some might bother.) Certainly octal plug/socket sets are pretty easy to come by too, just so long as everything sets up properly, but do keep notes on just what you changed and tuck them into a little piece of plastic wrap stapled or glued to the inside cabinet if you care to.