Serial and story line from the first seller. He (the original owner, who had claimed this was a show amp, gifted to a friend [going on memory here] by Sidney Harman) did have some type of work done, but years ago. I was in contact with that seller last year when I saw it on eBay.
My bigger interest is: why the huge markup? There's a record of the sale price being $2,800, it may be hard to get the $6,428 (US) for it now. I agree with a comment above, they're typically getting around the $3k mark.
And yes the $2,800 amp was a fine amp with some alleged beneficial provenance. It still went for under $3k
I'll be watching with interest to see if this is a market buster.
Edit, this story is correct, but I'm wrong on the amp. The one here is 1055, the one I was thinking of Is 1068.