I wouldn't get too hung up over the specific xf # versions within one make. Years ago when I tried British xf2 (double-O), xf3 and xf4 - they all sounded
very close to each other. I got the xf3 for BHSE simply because they're cheaper and much easier to find with NOS-like test readings, tight pair/quad matching, and like-new getter flashings verses the older (and more sought after) xf2. Plus I think the xf3 look cool with the stapled plates and huge grid post heat sinks, and again it's a lot easier to find clean good looking tubes with crisp labels in an xf3/4 (you have a
beautiful BHSE, so why not use good looking tubes?). Cosmetics aside, I wouldn't buy an EL34 tube with a worn getter -- that clearly indicates LOTS of use, regardless of test readings.
When I popped these xf3 tubes in - yep, sounds exactly like what I expect from a Mullard EL34. While the Mullard xf1 and metal-base Holland versions are almost certainly superior (based on reports), I haven't heard them and they're beyond my pain threshold to collect in muliple matched pairs with spares.
As for the Hollands -- I've heard an xf5 quad and a mixed xf4/xf5 quad; they sounded the same so I wouldn't stress the xf4/5 difference there. Both the Hollands and Mullards are great sounding tubes; choose Mullard if you want that extra bit of warmth. But Purk prefers the Hollands, and I see why. I'm as of yet undecided between the two. Also tried various Russian EL34 back in the day (Winged-C, Svetlana, Electro Harmonix EL34 and fat-bottle 6CA7), and based on that experience I wouldn't even bother popping them into my BHSE. The new-sensor variants listed above are good for use in warm/syrupy amps (bright, with various nasties in treble), and the winged-C were almost as warm as Mullards but just sounded plastic and artificial somehow.
I've bought most of my EL34 from tubeworld express, and have been consistently very happy with the quality of tubes purchased there. He's more diligent that other tube vendors, and seeing the actual tubes you will receive is great (I've received loose-pin tubes, "matched" pairs that are CLEARLY different makes, tubes with hardly any getter left, different tube version than advertised, etc from other vendors).
Here's a British Mullard xf3 (early 1970's) - huge cool-looking fins on the copper grid posts, single-O getter, stapled plates, black base, glass can have a slight point on top:
And here is a Holland xf5 (1962) - Welded plates, double-D getter, smaller rectangular fins on grid posts, brown base, very smooth and perfect glass tops:
Just buy some nice vintage tubes man, and don't stress so much about choosing the holy grail tube before you've heard any of this stuff. I'm sure you'll be happy with any decent Mullard or Holland set with decent pair matching.