[Freya]

I had one a while back that had a similar fate when I inadvertently brushed the anode of a line output valve, it took out the input protection FETS, a few of the Multiplexers and the micro, yours may have done more damage though with that many kV
It was a few years back now, an oscilloscope and the manual was great for the diagnosis and repair.