That fits with what I was saying earlier: the IMAX version I saw in the theater pretty much looked like that trailer. Like the old 35mm print, it did not have a red tint in the bar scene.
Before I saw the Bluray, I’d been under the impression that it would look the same as the IMAX, but clearly the Bluray had its own colour changes made that did not appear in the theatrical re-release (or at least, not the one I saw).
With all these myriad versions out there, it’s getting kind of confusing to keep track of where each one comes from, and why it looks the way it does. I’ve heard several times recently about DCP’s of various films that don’t look the same as their home video counterparts. Shortly after that IMAX screening, I saw a DCP of Raiders at a different theater that looked a lot more like the DVD colours, complete with heavy red tint in the bar. Its sound mix was also identical to the DVD, while the IMAX version seemed to be somewhat different. (I couldn’t tell if the IMAX mix was the same as the Bluray, since that place rather inexcusably didn’t have subwoofers running, and the LFE channel is the most obvious difference between the two. It probably was the same mix as the Bluray, though.)
Apparently home video transfers are done by entirely different people in different departments, and don’t necessarily have anything to do with what might end up showing in a theater. Even though they may come from the same transfer, they might end up looking entirely different. Which version’s colours were approved by Steven Spielberg—the IMAX, or the Bluray? Which one is overall closer to the film’s original appearance? Who knows . . .