Hola
Para solucionar los problemas de codec nada mejor que el GSpot, te indica con qué codec está el video, luego solo has de buscarlo e instalarlo.
www.mundodivx.com/varios/codecs.php
En cuanto a reproductores, el Real Player no (malisimoooo...), me quedo con el famoso BsPlayer y con el Media Player Classic (la versión libre, no el de M$).
Saludos