It's hard to believe but I overhauled an RV10 back in 2005.
https://www.vintage-radio.net/forum/...ead.php?t=6316
That was twelve years ago, probably longer than it was used by it's original owner from new!
It still works very well on it's original tube. Took this picture a few moments ago. This particular section of my 'museum' has become somewhat cramped.
Oh dear..
Regards, John.