thanks for the hint. TBH I had that stuff serviced by a professional repair tech and would expect the tubes to be ok.
Also did not want to mess around with these power amps as I don't have schematics, have zero experience with tubes, and would not know what I would be doing.
Given the fact, that those amps are 5k apiece, the expense to risk ratio did not seem to be worth it.