As a person who doesn't have an FM synth to his name apart from the SY22, but has looked at some of the manuals, the TX7 PCED (Performance Edit Buffer) has a similar format to the DX5/DX1 ones - the sysex for the bulk dump starts with F0 43 0n 01 - but IIRC the DX1's poly key aftertouch is not transmitted via MIDI.
As for the sustain, some sustain pedals have an option to reverse polarity.
