Holas
Se supone que el windows media player, al menos en la última versión, ya trae ese codec instalado por defecto, o sea que no te tendría que dar ningún problema. De todas formas he buscado y rebuscado y no encontré nada para descargar. En todo caso, si no va, cuando abras el archivo ten activa la conexión de internet y a lo mejor se descarga automáticamente el codec
Suerte
