This could be very interesting. Also, the wording in your post is a bit unclear--are you de-greening Owen's shirt in that shot? Because I think even on the IB print there is a bit of green going on there. It might actually be the way the print/timing ended up making it look. Actually, most original 35mm/70mm sources exhibit a green tint throughout the film. One thing to be a bit careful of is making things look ideal, because the authentic colouring might not have been as nice/"correct" as we would like.
For the Binary sunset, you will of course have to eyeball it. But sources to base the judgement off:
-Puggo 16mm (the print is massively desaturated keep in mind)
-Theatrical telecine bootleg (moth3r)
-Technicolor screening photo
-Capnap (16mm?) telecine bootleg
-Derann 8mm screencap (on my 8mm page)
These all show various levels of consistency in the colours, it's usually the brightness levels that vary around.