Not too surprising, Harmy's is (more or less) matched to a Technicolor reference print, which would likely not exactly match the colors on another 35mm medium, even on opening day. Even less so for something this old, even if it is relatively well preserved. Technicolors may have been dimmer and greenish from the start, but a slightly pink-shifted and faded print would also look brighter and less green. I'm inclined to say it's the latter--home video has really colored our memories of how this film looks.