Yes. I put in a cheeky offer and the seller made a counter offer which I accepted. Reconned that repairs and/or calibration would cost a fair bit so thought I'd put in a lower offer. After all I'm taking the risk of it being a large doorstop if I can't fix it. It is at least usable with the -20db attenuator.
That sounds reasonable. I was tempted, but already have a Tek 492 and HP8562B, and insufficient space for another

The 8565b I bought in a "general auction", condition unknown except for a photo that showed it was in cosmetically good condition. It turned out that it was allegedly from a bankruptcy sale, and was in good working order. I have subsequently replaced the PSU delayed action smoke generators (RIFAs), finding that the only ones that would fit were identical new types. They should last me out.
So, a "big" risk, but I could tolerate "losing" £350 - which I haven't.
Good things come to those that wait; I hope yours matches expectations.
BTW, internally they are a mechanical marvel, and you can see why they cost so much! There are a couple of pictures here
https://www.eevblog.com/forum/testgear/hp-vs-tektronics-design-philosophies/msg3153112/#msg3153112 which give a flavour of why I don't want to disassemble them more often than necessary!