Here’s an example for the bar scene.
35mm LPP:
WOWOW:
WOWOW matched to 35mm LPP:
This is what the unfaded print looks like, which is also consistent with the 35mm trailers from the era, and the screenshots of the early VHS release I posted. The warm bulb might add a little warmth, but in the same way that the warm setting on your tv will make it appear a little warmer. It will not make blue/white light appear yellow/orange like for the WOWOW. These are the colors of an unfaded print release print, as such it by definition cannot be grossly wrong.
Well, the best guess then is that Spielberg and the DOP got it wrong! The 30th anniversary 4K remaster was supervised by Spielberg, which is also warm tinted. Now, I agree that the red-push was a bit too much, but surely they looked at the original prints and know better than anybody else what is the right colour.
The best bet would be to catch a 35mm screening of Raiders in a movie theatre with '80s projection bulbs and the whole bunch.
Don’t get me wrong though. I seriously appreciate the time and effort you guys are putting at recreating an experience. I just think, in that particular scene, the lantern colour is totally incorrect.
The amount of correction you’re suggesting, would give all the daylight scenes a pronounced yellow/orange cast. Since all the other scenes have perfectly balanced colors, the colors for the bar scene should be accurate, as far as the original theatrical color timing is concerned. The fact that the same color timing can be found on an early home video release confirms this.