I paid about $3,700 when I bought it brand new in 1966, while stationed in Germany.
Now worth 10X that price?