Hmm, possible to check other stuff related to the CRT -- maybe it arced over internally and fried a bunch of things? (You think ESD from squishy meat bags walking on carpet is bad? Try metal-on-metal at direct kV+ charges!) Examples: measure all HV supplies (if possible!), any circuits that connect with the tube (Z drive is one, both X and Y deflection are more; anything else?), and, maybe it was the power supply that cacked instead, so check those (voltages and ripple) too?
Tim