I do have a Keystep 37 that I'm happy with, so I'd prefer a desktop synth. The new Behringer Pro 800 does look tempting.
I also have a TD-3 and a Pocket Operator Tonic, both of those are tons of fun to play with, and I can sync them.
Behringer Pro 800 looks pretty great too, same price, analog, but fewer sound options.
Also, I'd like to say, if you're looking for a nice community for this stuff, look up EZBOT on youtube, and join his discord. It's a great group of people and they'll talk all day about this stuff with you :). And say "hi" if you join.