I'm glad this thread resurrected. I wasn't here in October, but this is a lovely story. You're very lucky.
I never even got close to owning one of the Tek scopes in my early years, just used them at work.
Oh, but I _wanted_ to own one, so badly!
Only decades later, I discovered I could buy from the USA via ebay. Now I have a fair size collection of Tek 7000 series stuff, and still love them. Especially the rackmount ones.
Some of the plastic parts are getting rather brittle, you have to be gentle with them.
There's one chronic problem, that may not happen when you run them on 110V. The mains input filter uses a type of polyester cap, I recall rated about 400VAC, 0.01uF? Something like that. They have clear plastic molded cases, that go a bit yellow and crack with age. Anyway, they seem to almost all develop shorting whiskers through the film or something as they age. Any 7000 series scope, that's been left off for years, then turned on with 240VAC mains, is likely to either immediately or in the first few minutes have a nasty case of "PFHUT!" and a very distinctive smell. The caps arc internally till the fuse blows (can be a few moments) during which time the polyester gets converted to a vile stinky, sticky smoke, that's a pain to clean off nearby components. Those caps are 'replace on sight' nuisances.