I have the ac3 track from DJ's disc. I haven't listened to it yet, but it's from that LD, so it *should* be the theatrical stereo mix.

Unfortunately, as you pointed out, it isn't lossless.

I'd also be very interested in obtaining a lossless WAV/FLAC/whatever of the theatrical 1980 ESB, 1985 remix ESB, theatrical 1983 Jedi and 1985 remix Jedi (if that even exists). I still can't find out if the 1993 DC/Faces Jedi is any different from the 1983 or 1985 Jedi mixes (assuming, again, that there was a 1985 Jedi mix).