If I had the money, I'd gladly take them off your hands, Bob - both instruments.
I do watch the market here in the US for Evolvers. In terms of dollars, a reasonable price for the PEK would be $2,000, and for the PER, $1,000 - $1,200. I've watched a number of PEKs going for $2,500 get reposted several times, so that price does seem a bit too high.
It is a natural progression to go from an eight-voice Evolver to an 002. You're probably making a prudent decision. But I'm glad I'm not faced with it, because I'd find it very difficult. There's just something about an Evolver, from the sound to the appearance.