LexX said:
Is there even a separate 70mm mix for ROTJ? I'd say that just recreating the original mix in 5.1 would do it so then we would only miss TESB 70mm mix in 5.1.
Yes, there is. According to album editing and assembly supervisor, Michael Matessino:
Unlike Empire, there was only one difference between the 35mm and 70mm versions of Jedi: the 70mm version used the "Main Title" from Empire (referring to the music recording, not the visuals), but no one has been able to determine why.