Someone posted an article from a guy who saw the scan. It is apparently not done in 4K, but rather 2K. This would be enough for a reference copy or Blu Ray release, but not a true restoration.
That is what I would expect them to use it for, a reference copy. It is also possible that it could be used as a satisfying blu ray release, depending on the quality of the print.