I can't speak for getting one overseas, but I bought mine from a VSE member 3 years ago for $1000, and it included a CV/Gate mod. The filter cutoff pot was in horrible shape and it had a problem with keyboard pitch scaling on oscillator 2 that got worse in duophonic mode. A few months after it arrived, the main smoothing capacitors for the power supply failed.
Point being is these are not very well made and nearly always have problems, so just buying one is risky if you do not have a good tech. I've got everything on mine working except that for now the keyboard pitch scaling takes 80 minutes to stabilize, and duophonic mode pitch tracking is still broken. There is a calibration for it I still need to do, but I'm doubtful the problem will completely disappear.
"Lots of people are nostalgic for analogue. I suspect they're people who never had to work with it." - Brian Eno