I think it’s unlikely that the grading simply had one blanket yellowish setting added over the top of it, even if some find it too yellow in general. It would probably need a careful shot by shot adjustment.
A couple look more natural (if that makes them better or worse is a personal choice. I don’t believe films need to be stripped of their color timing decisions to look good). But, some shots have indeed become blue enough that I’m sure the blue would fanedited away if it was released that way.