>DX7s don't go for a high price
It's a 40 years old digital synth (so trivial to replicate one to one), with no special hands on controls as a keyboard, and one with 150,000+ units sold, with about a dozen modern replications.
$400 would already be an impressive sum for such constraints.
But it regularly goes for 800+ in Reverb.com for example.