It definitely looks that way, but the exact balances are hard to gauge from different sources=
film cell
senator screening
film cell
pre anh bootleg
Even TeamNegative1's sources seem to show hue variation:
The 70mm scans seem muted
Retartedted's 1982 preservation is the one official source where the green uniforms and dark blue tints (the blue effect is strange as it seems to be an effect from the wall lights picking out dark blue tones in the grey wall paint?) seem to be still intact. I took a stab at trying to get the Pal VHS to uncover the original mix, but was limited by what I started with https://vimeo.com/59244857
The blue and green information is hinted at in the greys on some transfers its just so washed out it hardly registers/can be recovered.
Ive got my fingers crossed that Photodroid 's Shea '79 bootleg is not grey looking. Very interested to find out what it looks like!