ohh wow, I know retro stuff is big now but $200 is too much for me. I guess I'll offer him something and see if he takes it.
I bought mine, box stock, from a local seller for $35 a few years ago.
But that was a ridiculously low price.
$200 sounds about right for a base system.