This thing is in amazing condition. The paperwork includes the manual, european tube charts, warranty card, warning paperwork, etc. Most of this stuff has been sitting in the case for years and still looks brand new. It powers up, and the lamps on the front come on, though some are dimmer than others. I haven't had an opportunity to test any tubes on it yet, but I plan to before I send it out. I'm not really sure how to price this. I've seen them for sale in the $5-700 range, and there is one in good condition on ebay at the moment with a BIN of $750 while a few others in worse condition are selling for less. I guess consider $750 what I'm hoping for and make some offers.
Like I said, I have no idea how to price this thing. I've seen them selling (or at least listed for sale) here and there in the $500-700 range, but I realize that's probably optimistic. I'm open to offers though if someone is really interested. Otherwise I'm ok with hanging onto it for now.