you can try those ideas or just download the VLC media player and it can natively play almost ANY video format without requiring a lot of different codecs...that's what i use if i don't have a codec installed for a video i have or if it's in a weird format