Se você quer um player que tenha suporte a quase todo tipo de formato de arquivos e que não seja tão pesado, eu recomendo o VLC Media Player. Eu uso ele tanto na minha casa quanto no serviço e ele abre muitos tipos de arquivos, desde arquivos FLV do Youtube até mesmo o .MOV do Quicktime, dispensando o uso do próprio player da Apple. Então fiquei sabendo pelo BR-Linux que saiu uma nova versão do player, que agora tem suporte a arquivos Real Media, que normalmente são abertos no Real Player.
Então o que você está esperando? Vá na página abaixo pra baixar e usar o player, que é gratuito:
Pra terminar, este não é um post patrocinado. Afinal, estou recomendando de coração um software gratuito que está me sendo bastante útil. Pena não ser não bom pra abrir arquivos com legendas. Para séries e filmes diversos, recomendo o BSPlayer, também gratuito.

Atualmente como desenvolvedor de software backend, mas já foi jornalista e editor de conteúdos por mais de 10 anos, trabalhando também em portais importantes como o START UOL, Card na Manga e A Pá Ladina, além de outros sites de esports e MMOs. Hoje cobre com especialidade jogos como Fortnite, World of Warcraft, souls-likes, animes, games, cultura pop e é fã de cosplays!