I see them quite often at hamfests and radio swaps for $200 or less. The ones for $200 are usually in the box with original accessories.
People will happily pay $300+ for them and if that's the only one you've seen, I'd say go for it... but you can find them for much less if you know where to look.
Most Sony electronics of this vintage had chronic capacitor issues that get worse with age. They're awesome when they work... but I won't pay much for them for this reason.