All of my 5.1 versions were upmixed by Satanika. When I say 'sort out' the 70mm for Star Wars I just mean that I'm going to test the version he sent me, since I'm finally back home and able to use my 5.1 system. I had a look at the waveforms of the AC3 already, and the dynamic peaks are every bit as high as on the stereo version, so I just need to listen to it to make sure it's playing back properly. Once I verify that it'll be good to go.
I believe you already have my previous 5.1 tracks included on your version 2 encodes, right? The music edits I'm going to make for Empire are only minor differences overall--the majority of it will sound exactly the same. Jedi as I said I'm not going to alter any further, and Star Wars should be superceded by the 70mm.
So . . . my audio recommendations would be as follows:
Star Wars: 35mm stereo, 70mm 5.1, 35mm mono (possibly 70mm stereo or 1993 stereo if desired).
Empire: 1993 stereo, music-edited 5.1 (forthcoming).
Jedi: 1993 stereo, music-edited 5.1 (already available).
Theatrical stereo mixes for Empire and Jedi would be nice, but I don't believe anyone has ever made GOUT-synched versions of those.
Of course, everyone's listening preferences are different, so those who are sufficiently motivated may well want to mux their own versions to use their preferred audio tracks, whatever those might be, which is their perogative.