If we compare this color correction to Harmy's Despecialized Edition, Harmy's seems pretty green shifted by comparison. Also the red and green highlights in the background and on Vader's belt are much more dull in Harmy's version:
http://screenshotcomparison.com/comparison/138902
The photos of the Technicolor IB print, although not an absolute color reference, seem to suggest the reds are much more highlighted in the Senator print as well: