@DoomBot: I'm 100% sure it can be tweaked more to look even better.
Back then after balancing out the green shift, all I could do to correct what was left was using avisynth's built-in "tweak".
Since I helped Harmy with the color correction of the Star Wars BD, I've had the excellent plugin selectivecolour by Darth Editous which mimics the behaviour of the Photoshop standard plugin with the same name. It allows for a much nicer color correction.