Double post, sorry, but I just saw this:
LexX said:
the whole Death Star sequence seems to have a bad green cast throughout (the scene I selected was almost the least greenest) and all of these shots, too, could use shifting towards magenta. So while there is some green in DS walls etc. I don't think they should be as green as some of you have tweaked them. If you've seen promotional images etc. DS was never green.
The Death Star sequences were originally color timed so the walls were a shade of greenish-blue instead of solid gray. Those caps are fairly accurate, though I think they are a little too green.