Possible record auction price for a Panasonic RF-8000

Many thanks to SWLing Post contributor, Dan Robinson, who discovered this excellent condition Panasonic RF-8000 which recently sold on eBay for $5,100 US:

Dan believes this is possibly a record price for this receiver. I would tend to agree. It does look like a beautiful receiver.

Any SWLing Post readers own a Panasonif RF-8000? What do you think of it?