Hi!
Du könntest dir ein Programm wie
MediaInfo installieren. Es gibt Informationen darüber aus, welcher Codes von dem Video verwendet wird (neben ein paar anderen Informationen über die Media-Datei). So könntst du den Codec herausfinden und wieder installieren.
Mfg