I agree.
Other things to look at in that bracket are the Moog Sub(sequent) 37 (£1200) which has two VCOs plus sub and a two slot mod matrix. It’s very hands-on with most stuff immediately to hand. There’s a bit of extra stuff in the menu but it’s easy to navigate.
The Arturia Matrixbrute is amazing and presently can be had for £1400 until July 1st, whereupon it will go up by a few hundred. The has 3 oscillators. Two of them have 3 basic wave types which have a shape mod and all types can be played at once, per oscillator! This is incredibly powerful. It’s mainly mono but there’s a paraphonic mode which allows 3 notes to be played at once. The routing possibilities on this are immense (as is the Pro 2) but everything is immediately visible and to hand via the 16x16-button matrix (which also doubles as the preset selector (direct access to 256 presets) and the sequencer.
A used Prophet 12 can be had for £1400.
Also check out the DSI Rev 2 and Korg Prologue which are poly synths.
Check the Marc Doty videos on the Pro 2 and Matrixbrute.
For dipping your toe in the synth waters, Korg Monologue, Minilogue and Behringer Model D or Roland SE-02 are all worth considering.