And then there is this scan of the 83 reissue trailer that also shows the bluer timing: https://www.youtube.com/watch?v=m-FxiQJSVAc
I was curious so I dug out my 35mm trailer which is the same as the '83 reissue above except that mine is much warmer, even much warmer than the home video versions. I would imagine this is just the film itself shifting toward red as it ages, right?
Sorry for the awful quality, I don’t currently have a setup that lets me get decent resolution out of 35mm films.