You should give mplayer/kmplayer a try. Plays a lot of video formats that the standard player won't (even with extra codecs enabled).

I use it to watch movies recorded from TV. No need to re-encode or overclock.