That's all well and good, but those had one of 4-5 common TV picture
tube plug/socket pairs. I seriously doubt you could find one with the
matching connectors for a ******* CRT.

I just looked on E-bay - a number of crt boosters are available. One would have to compare pinouts/sockets (for location & form factor) to see if they match. In the event they didn't match, one could break apart the sockets to expose the crimped wires and then individually mate them to the pins on the crt (and the original socket as well).
It would save a little time as compared to rolling your own.