Well, they were expensive when new, and never went down in value...
I've seen them go on eBay for over $5000 'new in box', and even ones all alone, with no original accessories usually go for over $1000. (Hey, there's ones matching those descriptions right now! The 'lone' one has one $1000 bid, the one complete in box (but not 'new',) has no bids, with a minimum bid of $5000. That one may or may not sell.)