Firstly, thanks to all who have responded.
The originals were certainly reliable and have lasted well and the sensible thing would be to use them again but my mate is asking for something that sounds better. My last experience in a DIY amp of mine was with JJ EL84 which I thought were just OK but not great. Difficult making decisions for a friend especially in a different country where he will be ripped off.