Retuning Korg PAs?

Hi all.

One of my former teachers and two of my former classmates all have Korg
PA-80. Manually, as I've heard from all of them, they managed to retune the
synth in an octave space with a maximum detuning of +/-100 cents away from
12-EDO (of course, this allows much better tuning possibilities than I can
do on my Yamaha QS-300 as the XG format cannot apply greater detunings than
+/-63 cents). Unfortunately, whatever I was trying to find some resources on
the web, never have I seen a word about SysEx messages for retuning the Korg
PA series. The same is true for Korg Triton (which one of my other friends
also has). These synths have lots of great sounds and lots of great
possibilities of processing them. And we all know they can also be played in
non-12-EDO tunings. The only thing I'm desperately looking for now is the
format of the SysEx commands which can do this. Anyone can help me?

Thanks a lot in advance.

Petr