Now here's something interesting that I found, maybe something to think about when doing your final color correction for this scene Harmy?
Anyway, I was checking some Star Wars fansites on the web and found retrostarwars.com, where I found this picture:
Seems to me like a high resolution screenshot from a pre-SE version? Then I also found this photo, which I corrected a bit:
Keeping that photo in mind, I removed the pink tint from the first pic and color/level corrected it a bit to look more like that:
And here it is, compared to the file I gave Harmy to work with:
Quite a big difference! And remember that the file I gave Harmy was already brighter than the raw blu-ray. Now I don't know what this shot originally looked like in the theatres, (maybe someone else here knows?) but it's an interesting result I got out of this nevertheless.