На первый взгляд обычные видеофайлы, только с оригинальным расширением.
Пакет кодеков не очень популярный, но я склонен думать, что он здесь ни при чём.
Что попытался сделать бы я:
1) Установил бы более привычный мне K-Lite codec pack full с настройками по умолчанию и попытался бы воспроизвести этот файл в Media player classic home cinema.
2) Выполняя предыдущий пункт, переименовывал бы расширение файла на avi и mkv.
3) Попробовал бы плеер
VLC, который все декодеры носит с собой.
4) Попытался бы прогнать файл через бесплатный перекодировщик (в
ответах на частые вопросы — пункт 4), мало ли, распознается что.
