He tried QuickTime. Green screen. He tried the default Movies & TV app. A polite error box appeared: "Missing codec. HEVC (H.265) required."
Update VLC
Linux users have the least friction. Because Linux distributions have no patent liability restrictions in the same way (they offload the responsibility to the user), the full HEVC codec is usually one command away. install hevc codec for vlc