I'd be interested to know if you find it sounds/works better after the restore...I assume a re-cap as well?
My 7000 (bought new) is currently in pieces for refurb/renew to be used in a guest bedroom with a pair of powered speakers (jbl305s)...nice mix of old an new tech.
I also have the original service manual for it, too, which is handy - actual paper!
It looks nice next to the (Japanese market) 2000F, too!