sorry Ian, that is way over. All that stuff he has on there ain't worth a tinker's dam when it comes to resale. I'd say that $5k is just about right, maybe even a little less. If it's in good shape, see if you can get him to take it off eBay and just buy it for $5000.
Have you seen it yet?
