Jonno said:
Do you happen to have the authoring tech to do a branched option on that sequence (a la Mike's archival/signature variants)? Of course that might open a whole can o' worms where other judgement calls have been necessary...
That is WAY more trouble than it's worth for a few seconds of goofy color timing. Plus, enough additional evidence has been presented to cast doubt on the idea that this blue tint was what was seen in theaters in the first place.