One thing to remember with FM synthesis is, that even though many digital synths claim to have FM synthesis, and it is theoretically correct, the way you program that FM, is vastly different than on a true FM synth like any DX... it is usually just a matter of FM'ing one oscillator from another and that's that... if you even THINK that this is capable of giving you what a REAL FM synth with even only 4 carriers/modulators can, then you will surely be disappointed. Even the P12 is lame in this department compared to a real FM synth.
Yes, you can get the same type of timbres... FM timbres... and yes, you will be able to create DX'ish kind of sounding presets... but you will never really reach the sound of a true FM synthesizer, and even though a true DX can be a pain to program, it will not be any different on any other non-FM digital synth... if it's easier, it's because you more or less only operate with one carrier/modulater (2OP) at a time, which is the most basic of building blocks in a true FM synth.
The FS1R for example gives you 8 tonal operators, that can be arranged in more than 80 different combinations! (algorithms), just to give you a bit of hint as to what such a synth is capable of... on top it has another 8 atonal operators as well!
So if the real goal is to get DX sound in such a huge degree that this is what matters most, maybe it would be better to simply get a REAL FM synth in addition? ... also, the good old DX7 is cheap, and there are more than 15.000 free presets for it on the web, so you don't even have to program yourself, you can just browse to your way thru life!
This is why I have decided to go for niche synths instead of these "catch em all" giants of workstations and power VA's... because they do what they do BEST.
Just my two cents...