I'm not sure the methodology is sound for those color experiments.
Perhaps we should test known lenses and see what results occur from screen caps. Will stunt lenses look green on film? What about TIEs?
Studio lights versus outdoors? There are a lot of variables not considered.
Trouble is I don't think there's any circumstance where the TIE lenses could be checked on film. The cockpits are lit with red lights and the Death Star hallway shots aren't very closeup.
I believe that it may be possible to test some of the Tie lenses for their colour. There are some moments in some of the shots where a bright key light shines into the Tie cockpit for a few frames, these might be bright enough to determine the colour of the Tie Pilot lenses. However, getting a 'read' on the Tie Pilot lenses is not going to change the results already found on the Stormtrooper 'Hero' Helmets. Unfortunately, at the curret time I don't have the resources to conduct a test on the Ties, perhaps Superrune can help us out. I also have a friend who is a professional motion picture colourist . He did the colour timing for some of the X-men films. I 'll ask him what he thinks about the methodology and will get back to you.I did however do a test on Vader's eye lenses using the exact same technique and his lenses did not show any green at all, just a reddish tint. If I can i 'll post my results.