Disney needs to ask themselves, which is easier with the same profit? Re-release with a possible boost in resolution or restoration and other time consuming efforts?
A resolution boost would require a restoration anyway because the current master is most likely locked at 1080p, if not 2k.