I am hopefully not suppressing differing voices, when I chime in early on this subject.
It is my sincere belief that someone who owns a $10,000.- microphone should not even think twice to spend roughly 1/7th or 1/6th of its value on one of the core components (which, by the way, will outlast the owner, and then some!) to make the mic work as intended, and which will, unlike other tube options chosen, retain (or, more precisely, appreciate in) its value.
There are plenty of VF14 tubes out there to satisfy the needs as they arise (even without the recent fakery of a "find" of supposedly 400 VF14, which I finally deleted, because the supposed owner did not own up to it.)
The same can be said of AC701. There are easily several thousands of these tubes around, and again, once one of these low-noise versions has been properly installed and its power supply adjusted, it should last for decades if treated right (see sticky on AC701.)
Finally, the EF86. Here, too, there are plenty of NOS available, if you can spare the right amount of change, but the competition with other hifi gear users is starting to become an issue with this tube.
In all of the above cases, only owners who could not really afford the original vintage mics which used these tubes would accept what is offerend on the market as lower-priced 'alternatives' (none of which enhance the mics, and all of which, in my opinion, remove some or most of the character of the original.)