I thought it was generally accepted that the Technicolor prints tend to naturally lean towards green, but that this was not indicative of the original colors. Yours looks a little too green here.
I disagree, I applied a single correction to the Tech scans, which nowhere are as green as this shot. There are also many production photos, that show a similar shade of green for this scene:
Also not that the panels in the back are a neutral color in both my color correction, and the production photo.