Silly me forgot that you can check what codec you actually need when playing video files. Gspot it is.