One *Super Speed) with original boxes etc went for about 400-500 recently here in the Uk and it was mint, possibly inder what you'd expect so $600 seems fine.

I paid far less for mine but time and effort getting it back to scratch adds up

Ian