I recently bought one from New Jersey for a student in almost new condition for $2,100 including shipping. There is no discernible wear on any button or key. So your price of $2000 is probably a good number. There are two on eBay now but they are not in mint condition.