Ah… the Apollo: Atmospheres and Soundtracks, by Brian Eno! —> 
Brian Eno is a DX7 genius (also other synths), probably the lone artist who exploit all the DX7 features.
I’ve mentioned the SY99, I discover this synth because you told me about it in previous reply! Yep this synth - as 2nd hand - will be for me a good choice due to improved sound engines, also for 76 keys as I’ve said. Also, having higher-quality finish (IMO).
You’ve mentioned Korg T-serie in one of your previous post (I presume T1, T2 and T3), but I don’t know about these hardwares… The Korg M1 was a fantastic machine.
I’ve downloaded the SY Programming (by Herbert Janssen) PDF file, I’ll must take time to read it. Thanks also for this!
Despite FM (PM) is more difficult, because it’s less natural for us (regardling additive & soustractive synthesis), also FM is very sensible even on small changes. But I
FM, really!
About DeXtral, I’ve implemented the first (operational) modulation - as absolute (replace the pot) or relative (add an offset to parameter) for OP1 COARSE only, but IMHO, modulation isn’t accurate for this parameter (I don’t remove it, though - by this way, any user will be free to modulate it, or not).
However, I’ll plan (via a “Preferences” option) to enhance the velocity, because the real DX7 suffers about too low velocity sensitivity. Option by a checkbox from “Preferences” screen (default: unchecked). In the real world, some musicians connect an external MIDI controller to benefit a greater velocity range [0;127] (instead of [0;100] by the DX7 keybed).
I’ve mentioned “submenus” pain about the real DX7. However, my module uses menus, but for module’s Preferences (single page), for Operator Copy operations (single page - not applicable for the DeXtral Kompakt module, however), and the Matrix Modulation (single page, scrollable). I guess… intuitive. 
Be careful about Dexed: by reading its source code, many comments indicate “must be enhanced”, or something similar. Despite it’s an excellent DX7 repro! This synth seems to stay in development. Source code is very complex to read. I’m using another direction for DeXtral modules.