@Gargron AFAIK, 4K is real and is on the original film, saved somewhere.

The cost to use that film to move into 4K Digital is so costly, compare to expected sales, companies would only just shove in AI and call it a day.