Why were you expecting $600? There is almost no precident for AVs going for $600, except when Tedb bought one in 1997 when eBay was just getting started.

$850 is reasonable, and better than what they were hitting a couple years ago. And it's in nice condition.