Originally Posted by gregorian
I wonder if anything is available for video players.
Yes, there is
It's called a codec, and you'll need one for every format of audio or video you want to play on your machine. It's likely that at least some will already be installed, but often the most useful ones (mp3 audio, mpg video, etc) aren't included in various distros due to licensing issues.
The question of where to find them and how to install them has been answered hundreds of times here, but the exact answer will vary depending on which distro you're using, so search around the forums for "mpg video install" (or something like that) and your distro name, and see what comes up.
Hope that helps