Ah, well, that torpedoes that theory. Very strange that there would be two versions of the film in circulation during its theatrical run even though there weren’t really any differing formats of the film. Star Wars, for instance, had the 35mm/70mm/mono, Attack of the Clones had 35mm/digital, etc., but digital cinema had already long been the standard in the vast majority of theaters by 2015. Could Lucasfilm have just been shipping out two different versions of the DCP at random, or is there a pattern here?