Did you or the guy you bought this amp from install new 6922 tubes in the Amp?
Or maybe did the guy you bought the amp from pull all the tubes from the amp for shipping? If yes each tube would have to have been marked for each tube socket they were removed from and reinstalled in the same tube sockets they were removed from...
Thanks again to everyone who responded. The tubes were already installed when I bought it and I had a car share and a short drive, so I didn't bother removing the tubes for the drive home. I think he said that the tubes were fairly new. It was my first tube amp, so I didn't know which questions to ask. The former owner is actually really helpful and offered to help pay for the repair if I get the work done at the tech shop here in Berlin that he regularly uses. I however wanted to get it done at the authorised dealer in Hamburg, which he considers to be overpriced.
Some responses above have suggested eating the costs and moving on, but that would mean selling the amp as defective and I wouldn't expect to get more than EUR 500 for a defective amp. That would mean a loss for me of EUR 2,000. Or do you think I could get maybe EUR 1,000?
So, at this point I think I will either bite the bullet and get it repaired at the ARC authorised dealer or have it sent back from Hamburg (which is another EUR 100) and get it fixed by the tech guy here in Berlin recommended by the former owner. I just don't feel like lugging this beast around any more. I don't have a car, so moving it always entails doing a car sharing or taxi/Uber.
I also sent an email to ARC as suggested by some of the posters, so we'll see how they respond.