Having seen Raiders on 35mm back in 2007, I can confirm that the bar scene was very much not red-shifted on original prints. It looked pretty similar to the way it does in the trailer examples above. I remember very clearly taking specific note of this at the time, and being somewhat surprised by it since it was so strikingly different.

Even more surprising to me was that the IMAX release from a few years ago also had a non-red version of this scene. When I first saw the Bluray, I expected it to be the same since I'd been under the impression they were the same version, but the Bluray has the same red look to it that other home video releases do, so apparently it does not come from the same source. The IMAX version I saw looked really good, so I wonder why they didn't use it for the Bluray.

I seem to remember pointing this out about the bar scene a few years ago, but I don't think anybody really took notice since I didn't have photographic proof to back up my claim. So I'm glad to see that it has come up again now.