Jepp, mplayer. Ansonsten wäre für Windoze "RealAlternative" zu empfehlen, installiert RM einfach als Codec anstatt als eigenen Player.
Und noch n Insider-Tip: Wer unbedingt den Freeware-Original-Player will, bei der BBC gibt's den in ner spywarefreien Version.