What worries me is that they must have had a basic lack of understanding as to what the feature they announced was actually supposed to do.Seems to confirm what I suspected, which is that they have no SDR tone mapping implemented for HDR to SDR BT2020 (yet)... At least it sounds like they are working on it, otherwise it doesn't really make sense to extend the return window. What they call the red push is simply what happens when you display rec-709 content in BT2020. It's not only red, it's all the colors, red is just the most visible when oversaturated because it's obvious with skin tones. Green is pushed too. And blue.
I hope for owners that I'm wrong, but I'd be surprised if they come up with a fix in weeks, unless they have no issue more important to fix first (i.e. issues which are a problem for every user, not just projector owners or owners of an SDR WCG display).
As you said earlier, I hope they have people who can do the math and achieve the required result.....