After gathering a bunch of references, it looks as if the earliest examples of the film have a greenish tint to them. I actually had to reduce the green of the bootleg to balance the colors somewhat:
And here’s the attempt with a single set of adjustments:
http://screenshotcomparison.com/comparison/176880
And with slightly less yellow:
http://screenshotcomparison.com/comparison/176882
Finally one that has less green in the shadows:
http://screenshotcomparison.com/comparison/176886
I have no idea which one is more correct.