Vortex Sound Research

After 5 years of being interested in synths, I am finally willing to spend a decent amount of money on one. I was content with software synthesis for a long time but now I would like something analog. I’m looking for an analog poly synth with at least 6 voices. I also would prefer that the oscillators are VCOs not DCOs. My price range is anywhere from $800-$1800 (I would be fine with buying used). I think I’d want a desktop module just because my space is already crowded as it is. Given those parameters, does anyone have any good recommendations?

I’ve been between the Korg prologue 8, Prophet 6, and OB6. But I’d love some new recommendations, especially less pricey ones.