I do have the box and papers. If they're going for $11k new, I'd probably get $8k on eBay for my used one. After eBay and PayPal fees, I'd end around $7000 so that sounds about right. Might try and list it on Craigslist or something and see if I can at least find a local buyer so I don't have to...