The red pannels in the Death Star control room seem to be less orange than what we often see in other technicolor corrections.
Indeed, and considering the green shift in the print it’s even less orange when corrected.
It’s partially a saturation difference. Pulling those dark greens a bit and bumping the sat:
(I think this is a bit too hot, but just showing how the red panels change a lot)