Yes, the 4K83 print was faded to a dull red. The colors weren’t gone for good, they were able to be brought back without too much trouble, but it’s hard to say exactly what they looked like when it was new. The best way to get Jedi’s colors would probably be to take an unfaded LPP version, somewhat reduce the excessive blue the LPP’s all seem to have, and then make the 4K83 print look like that.

Regardless, the 4K83 colors do look nice the way they are, and I suspect that my suggested method would probably yield a similar result, minus any remaining issues caused by fading. Jedi seems to have been a rather blue film overall; probably not as much as the exaggerated LPP’s, but still blue nonetheless. Some people have complained about the leaves on Endor not being green enough and things like that, but honestly I think that’s just how it was. It just takes a little getting used to. Even with a blue tint, it’s still not monochromatically dull the way the 2004/2011 version tends to be in many scenes, and it is entirely lacking that version’s overly pumped up reds.