They have meticulous notes on all that stuff, and if they have any sense they still have all the 3D models, shaders and such. They can re-scan the film, re-edit to the same time-code numbers, then re-time the files using the same specs, and then re-render the 3D stuff at a higher res if they want to. I can't believe they didn't do a 4k scan right from the beginning on films of this importance if it's this much trouble to make a higher than 1080p version available for home video sale later, not very smart if that was done. If for no other reason than making a regular HD home video release look better they should have done it.

In any case, they need to re-scan it just so there is an archival-grade digital master backup of the film in a finished state.