Then again, I guess 4K is only a rather recent thing anyway - what was the first film scanned at 4K does anyone know?
That would be the 1993 restoration of “Snow White and the Seven Dwarfs”, scanned and output at 4K (I believe 10-bit Cineon). No idea if Disney has since done a new digital master, and it wouldn’t surprise me if they have. First new-release 4K DI was 11 years later with “Spider-Man 2”, though VFX were done in 2K.