rejuvinating the tube may extend the service life.
many crt's have the same pin outs. but, diff cut off voltages - ( which isn't that big of a deal ).
match the tube size , pin out and keep the game's orig yoke to reduce problems .
trash day can be a good day to find replacement crt's, and at a fair price

qrz