The 35mm shots of the the regraded version all have a strong green tint. I must say that I have absolutely no recollection whatsoever of these scenes looking this way in the theatre.

My memory is not authoritative proof, of course, but their complete lack of familiarity is causing me to be somewhat skeptical that this is how they are actually supposed to look. As indicated above, it is possible that is reflects an earlier, unfinalized version of the color timing. It is also possible that the 35mm prints had a different timing than the Imax prints, and that both are 'correct' in their own way.