I suppose there is no right or wrong. There is such a thing as the original color timing, as was present on the original interpositive. That color timing can be found with some variation introduced by the printing process on unfaded 70mm, 35mm, and 16mm prints, although contrast will vary, depending on the generation of the print.

Personally, I trust poita’s judgement in these matters above most others for two reasons:

He’s a professional, with much knowledge on the medium and experience working with film
He has access to more original prints, than most of us will see in a lifetime. The best estimate of the original color timing will always be an average of a multitude of original prints