Pleasure,
Looking at the 25micro specs your amp uses 3 ECC83 valves (my 25R has 4 ECC83 and 1 ECC81 by comparison). I expect if you still have the original valves supplied by Glenn they will be JJ ECC83 or JJ ECC803s or Sovtek ECC83 which are new production valves.
There is a wealth of info on the web but a good place to start is
http://www.audiotubes.com/12ax7.htm
http://www.jacmusic.com/nos/ECC83.htm
http://www.watfordvalves.com/
ECC83 is the european terminology - in the US exactly the same valve is known as 12AX7. You will see from the above links that there are also many subtle variations on the above which are also compatible.
As a general rule valves produced in the 1950's - 70's will sound much "better" than modern valves. Ideally you want to get new and never used valves known as New Old Stock (NOS) but even previously used valves from a reputable dealer and fully tested can be fine. I have read some wouldn't touch none new valves because of risk of failure etc - I have never had a duff old valve.
They all sound different and it depends on what "sound" you prefer as to which ones you go for although be prepared to experiment.
Mullard and Brimar sound full and warm
Telefunkens TESLA (original not new production) very dynamic detailed highs lighter bass
Amperex/Phillips superb midband and IMHO in my croft the best of all worlds.
If you buy 3 then try and get a matched set.
IMHO avoid JJ Tesla, Electro Harmonix and new release of anything such as Tesla and TungSol (in contrast original TESLA and TungSol from the 60's are brilliant).
I have deliberately been opinionated here (not the usual line on AoS) as I have spent hours and much dollar getting to where I am confident in recommendations but as always it depends on musical taste/preference.
Ebay is a great place for valves - I have bought dozens and never had a duff purchase. I did buy a valve tester to be sure but all valves I bought from Ebay tested good.
Watford Valves are a good reliable source of new valves including NOS items.
One of the variants to the 12ax7/ecc83 is the 5751 - this has a lower gain than the stock 12ax7/ecc83 which can "tame" a slightly bright high end. The JAN GE 5751 is superb in this respect. JAN (Joint Army Navy) is a military spec tube so very robust. Having a lower gain it is quiet with low microphonics and is becoming very popular for audio use.
I just happen to have 4 NOS of these and you are very welcome to try them out if you want to.
Hope this helps, happy to look at any potential purchases if you send me the link.
Be aware, once you start tube rolling you are on the road to madness
Steve