I haven’t needed to replace the tubes yet and mine was 2-3 years old when I bought it. They are the NOS tubes. I tried to contact one tube seller to buy a spare set and their service was so bad I decided to look elsewhere then got busy and never picked the search back up. Sorry I can’t be of any help on this one.

George