Probably. They were a lot like yours. Goofy beyer headband, cpads that left tacky residue on the cups, dings galore. Got them from an administrator on this board . I may have paid a little more than 700, it's been a long while. But I couldn't resell them later, so I had them made into ps3000s.
I've seen ps1s sell for everything between $700 (what I paid) and $2400 (JG2s, on ebay). I'd guess $1800-2200 for true unopened ps1s. But I'm also guessing yours aren't really NOS, but instead, lightly used.
There's another option when you live in the middle of nowhere. You buy the things you're interested in hearing used. I went through a TON of gear while I was living in alaska. You have to pay attention to the various forsale sites, but when stuff comes up at a great price, jump on it. Then you can often resell for enough to cover your expenses, and if not, think of the difference as a rental fee. This is a lot more useful than meet time. Enough more useful, that I mostly look at meets as a place to hang out with people and get ideas.
The impression I get is that the nas device was just used to back up the servers, but they were in the process of rebuilding headfi in a clustered environment, so they'd probably wiped the servers. Then the nas had problems, causing a world of poop.
I use my mac mini for everything except sacd and dvda at this point. I just need a better switch than the one I have right now. One day I'll spend money again, and get a good hdmi 1.3 capable pre.
Nice looking place.
This one is supposed to be a gothic novel, and I figured wtf. Anyway, $50, signed. I'm too big a book collector whore to pass that up