Most music files may be MP3s, but music files are rare these days. I wouldn't be surprised if most people under 30 have never interacted with a music file at all, they just use streaming services.