Yes correct. It's quite a good practice to reorder the full tube set from the brand maker themselves, after all, they designed it and they would know best.
However, similar to CJ, VTL, Manley Labs, VAC and Lamm Audio, they all charge quite a high premium for matched tubes, especially the Output tubes. Even the small signal tubes, such as the 6N30P/ 6H30PI, 6922 variants and smaller NOS Mullards (rare types M8080) are still charged a high premium. You can source these same exact tubes from other suppliers like, Upscale, Tube Store, Tube Depot and similar but I guess ordering these tube replacement sets from your main gear manufacturer gives you more peace of mind.
After all, that's the price we pay for such top tier designs. CJ HQ has always been my first choice with tube replacements but since lately they're charges are quite high. I still do order the Output tubes from them and sometimes order the smaller signal tubes from Watford Valves UK. They're product and service has been outstanding, no issues since over 5yrs being with them. As for CJ, I've been a customer since my late teens!... damn, that's a long long time.
Cheers matey, and do enjoy those finest tunes!
Woof! To CLX's and ARC.
RJ