Thanks for the tips!
Of course now I've looked and want a Disting EX, which sort of doubles the money I wanted to spend!
I think given that I have such a backlog of DIY to do (the reverbs, a tremolo guitar pedal, a knackered mixer in need of some replacement caps, as well as a complete casio refurb at some point) I shouldn't give myself more work - I never have time (2 kids, job etc)
I'll probably go for a single Disting (maybe 2nd hand) and likely upgrade to an EX later on. That sai, the EX really has a bunch of good stuff - the looper looks pretty exciting on its own as it's syncable and seemingly quite flexible with it. I need to research how to use (I think?) MIDI messages to get it to work with some sort of footswitch - that way I could get rid of my ancient boss RC20 to help towards the cost! And having different oscillator options is also a huge bonus, as it's quite easy to get bored of the two relatively similar analogue sounds I have...
Lots to think about. Maybe I should medtate on it while doing some soldering...
Thanks again!