Shot on film doesn't necessarily mean anything. Most 1980s & 1990s music videos were edited on videotape, no matter how they were originally shot. A lot of TV shows from that time were edited on tape too, and many sitcoms were filmed on videotape. If the music videos were edited on tape, any special effects would most likely have to be done over from scratch. Which would mean, it wouldn't be the exact same video. It would be like when they added new CGI effects to the 1960s Star Trek show a few years ago. There was no CGI in the '60s. There's a 4K version of the Eurythmics video Missionary Man. The only parts that are actually 4K are the performance parts which were scanned from the original film, but the effects parts came from videotape. You can easily tell the difference in picture quality between the 2 sources. In some cases, the original film footage for music videos was thrown out or lost after they were edited. I don't know if that's the case with Mike's videos. Also I think some of the earlier ones like Rock With You was shot on tape, so you can't make a HD or 4K of those.