@TServo2049, Have you seen the new Director’s Cut Blu-ray of Wrath of Khan? How does it compare to the 35mm print you saw, and which of the HD TV cap and the Blu-ray is more accurate?
Of course, you saw this print over a year ago, so it seems unlikely you’d remember. But any thoughts would be nice.