Another one with the oddball 17xxx serial number. Apparently those went to employees. That beat up one that I bought last years was 17024 and this one is 17030.
This one has the remote, the only problem with the remote is that you have to disable the front controls to use it and it doesn't work on the discrete input. I built my own back in the day but no longer use it. Being wired is a disadvantage (or an advantage), I always lose wireless remotes!
I doubt that he expects to get $10,000, maybe just testing the waters to see what kind of offers he gets. No worse than asking 2K for the QS-1!