Reproductores de video hay muchos, y afortunadamente en versión de 64 bits, con el paso del tiempo, también: Media Player Classic, VideoLAN, KMPlayer, y por supuesto MPlayer.

En mi caso, he escogido la combinación de MPlayer2 y SMPlayer, x64 ambos. El problema es que no se distribuyen en conjunto, pero la instalación es bien sencilla. Basta con descargar e instalar la edición de 64 bits de SMPlayer, y una vez la tengamos, descargar y extraer MPlayer2.

Cuando lo tengamos listo, simplemente vamos a Opciones -> Preferencias -> General -> General, y configuramos la ruta absoluta o relativa del ejecutable mplayer2.exe en el cuadro de texto de Ejecutable del MPlayer.

Con esto tendremos un frontend muy cómodo, y el elevado grado de compatibilidad y rendimiento de MPlayer2.