Ah sorry, I misunderstood. While all home video releases, and the 1997 SE had gray panels, the 1977 prints make it very hard to argue against them being green or lit with green light originally. Even most early production photos usually show the green panels:
The fact that the panels in the back are more neutral, seems to indicate the panels had different colors or the scene was shot with both red and green lighting.