The problem with the weird green cast on the Death Star can easily be fixed with the ColorCorrect tool. I’ve checked the Tech IB scan, and it’s not there at all, so it’s definitely an anomaly of the bluray that is exacerbated by manual curves adjustment.

Darth Lucas:

Darth Lucas with correction:

Here’s the color correction model I used:

https://drive.google.com/file/d/0B8_LYKyZDiajSG5Yd2MtVFkyc2s/view?usp=sharing

Just export the frames of that shot to an image sequence with Virtualdub. Import the color correction model into the tool, and correct the frames.