Thanks to Mike for weighing in. I agree with his perspective on things, ultimately.
With the Senator screening showing an example of a Technicolor print that clearly did not have the extreme blue cast in those two shots, and taking into account that no two such prints came out looking completely identical to each other, I think we can safely assume it is an error that was not more widely seen, and not indicative of the way it is supposed to look. It is an instance in which a lab mistake on a particular print has been immortalized: usually blue is the first thing to go when film fades, but not here, since the dyes do not diminish at all.
I think Harmy's call is the right one: give the shot slightly more of a blue cast as a nod to the way it looks there, but mostly keep it the way he had it before. The shift was so extreme that the lightsabres were almost completely drowned out, and that cannot possibly have been the intent.
It occurs to me that since the Technicolor prints were made differently than all the rest, there is a possibility that the colour timing is not completely identical. I recall Mike explaining that rather than going the usual route from an interpositive, they came from a separate master that itself was derived directly from the negative, and since the negative contains no colour timing information, it seems likely that it would have had to be done separately. In such a case it is probable they used a reliable reference in order to retain the proper look and avoid the creation of something that radically differed from how the movie appeared elsewhere, but some of the observed inconsistency may perhaps be explained by this. With the saturation levels being bolder than regular Eastman stock, any errors would accordingly be exaggerated and compounded in the process.
Still, potential errors aside it really does look fantastic, and I'm so glad we'll be able to see something that resembles the Technicolor, even if only as an approximation. In addition to the superior colour process, those prints would have had greater resolution and less dupe grain due to being one generation closer to the negative, so seeing the film projected that way is probably the best it could ever look; but this is a big step towards bringing back the original appearance. So, Harmy and Mike, big thanks from me for that.
And if this download would ever hurry up, I'd actually be able to check out the latest previews . . .