No, they're all original. It's never been faulty before and I've had it from new!
Could this be a suitable replacement?
https://www.tubeampdoctor.com/en/32-...radial-35x50mm
Sorry, you beat me too it with HotRox! I've had valves from them in the past for my Vox amp.