I've only seen it theatrically as a child back in the 1960's, so my memory is a bit foggy. I haven't seen the iTunes 4K transfer either. The Amazon 4K streaming version is pretty, but has compression artifacts, and Mars has a pale bluish cast. Mars appeared reddish on my VHS, laserdisc, DVD, and last I looked, through my 110x telescope. Just a wild guess, but if Criterion thinks that Mars color should be shifted towards the red end of the spectrum, I would wholeheartedly agree with their assessment.So is this how it appeared theatrically?