It's probably not worth it except to a die hard collector. But that is one sweet receiver and there is no denying a lot of work went into it, but still . . . you can get some seriously good new stuff for $12k.
I was thinking it was definitely going to be a Tube piece, but for a Solid State Stereo Receiver, that is utterly absurd. Marantz's Tube gear from the 60's often fetches close to that amount and is a somewhat safe investment. I am blown away by that asking price and do not think anyone will pay anything close to that.