I watched that pair closely and I was stunned by what the amp sold for. I thought about dipping my toe in at $2k and thought I would have a pretty good chance of getting it. LOL. Still cheaper than a not-quite-as-pretty A-S3000 though.
There was a lovely Philips PA-1200B up there for less than half a k that one could have consoled oneself with, but it looks like that has sold now too.