for future reference, a very thorough codec listing can be found here. it's quite a great site for anime leechers watchers.

i personally have the community codec, vlc and mkv installed. i've never not been able to play a video.