I think it’s more likely they had multiple mixes made for different theaters and the one they thought would sound best on home theater equipment happened to not have the sound.
well why would the audio be different from mix to mix?
Otherwise it wouldn’t be a different mix it would just be a different format. This has been going on since the original star wars movie which had at least 3 mixes all with slight differences.