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.