If only it was so clear-cut - basically every big budget movie between 2005 and 2015 has been done using a 2K DI, with the visual effects rendered at 2K or 1080p, so most of those films will get a 4K BD release upscaled from their original 2K DI master and a new HDR color-grade (some already have). And they can very easily do that with the 2011 SEs and will have to do it with the PT and the general public will eat it up, because it’s Star Wars in 4K, just like they ate up the Blu-Rays, because they were Star Wars in HD, no matter the woefully lacking quality. So they still won’t need to release the OOT in order to make huge money on a 4K BD release.