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.
See, I am not asking you to do any of this, just expressing my honest opinion. There is no way that lantern was meant to give out a blue glow. It has to be yellow, it’s common sense (my tone is not rough or harsh, in case you read it as such). Just because all other scenes look ok doesn’t mean this shot cannot be wrong. Human error happens.
Then you would have to factor in the yellow-bulbs making the print more yellow. The DOP would light the shots and the colour timer would time them keeping in mind the warm projection bulbs, which would alter the col temp of the image.
Also, no need to alter the other scenes. They are more or less fine, colour-wise.
A VHS or laserdisc cannot be reliable sources of original colour timing.
The VHS and laserdisc (and DVD/BD) of Jurassic Park, all had a blue colour-cast which was totally wrong for decades until the 4K remaster showed that the actual tinting was much warmer. In fact, 35mm frames from the prints floating in the internet confirmed this warmer timing. Though the 3D BD went slightly overboard with the orange.
I also remembered the Leaky Cauldron tavern scene in ‘Harry Potter & The Philosopher’s Stone.’ It was a similar low-lit, scene filled with candles and lanterns. And that scene also had a warm yellow-golden hue.