This would have been my guess, too. They seem to go for about that on eBay in that condition (which really isn't too bad, assuming it works) and closer to $3,000 USD (about £2,300) in really good condition. For that price, the buyer could have it restored to pristine condition for about $1,000 (including the case finish) and still consider it a bargain.