Ian,
I got that info before they stopped making tubes and now I'm curious too. And like thephunkeman, I will change out a tube to see how it sounds in the about 20 old tube mics I have. Most of the tubes are basicly the same except the AC701's which are usually specked out from 4.6 to 5.2 volts, where as the others are usually about 6, though the new vision (nuvista) tube gets specked out from like 4.5 to 6, depending on mic manufacture and model. Most PSU's that I get are atleast a volt down from manufacture specks so be sure to check that before you do any 'real' changes, the cord lengths will effect the plate voltage also.
All of the mics, that I know of, that use a 12Axx tube are only using half of the tube except the stereo AKG C24 and Ela M270 (which used both AC701's or one 12AU7). Not sure how the Neumann Gefell UM 69 did it, but the mono version UM 57 used a single sided EC92, I think.
My greatest trimph was upgrading my very old Presto comp from a single tube for the input and single tube for output to just putting one 12AX7 in the place of the two VF14 tubes, wow what a differance stabelizing the input/output sag did. Just made a bridge with the 12AX7 in the middle with VF14 sockets on both sides. I think I'll put a smooth plate or 6072 (M) in there to see 'that' differance for my next session.
On my original MD1's from GT use a 12AU7, but can use an AT7 if the AU7 isn't killing ya, it just looses a little volume and Greg, Austin's assistant/mic guy, said to just up the plate voltage for the AT7 tube