My mistake: HP1740A.
I get the impression vintage TEK scopes are ten times the price they were ten years ago, and now rare. My HP1740A was from a recycling centre for next to nothing, just needed switch cleaner.
And thanks for the recent information: very useful.
Regards
David Collier