Vintage Synth Explorer Forums

I came across a used Arp Pro/DGX at a music store selling for $650. Is this a fair price for it? I've done some research and can't seem to find a typical price point for a used one. Any input is greatly appreciated.

Thanks