Thanks for your reply.
I plan to buy a new one. It's going for about $2,500.
I also plan to do some tube rolling. Besides, I don't listen at very loud levels. I sit 10 feet away from my speakers (Martin Logan Ascents, and I don't like to exceed 80 dB at my listening position.
Thanks again for your input.