They are clearly worth $700, if that is what it costs to buy one?

You will have to decide if that is a price you are willing to pay.

There is a member selling reproductions in the Swap Meet (I think for $200).

I paid $200 14-15 years ago on eBay (NOS with box and instructions).