I do wonder if that green tone is from the HDR to SDR conversion. These caps from the new HD bluray don’t seem to have the same tones on the stormtroopers.
https://www.blu-ray.com/movies/Star-Wars-Episode-IV-A-New-Hope-4K-Blu-ray/257142/#Screenshots
I find that any HDR conversion screenshots hard to trust.