Go download a program called VirtualDubMod (it's freeware). Then open the video file there and check out the video information there. It'll show you what kind of video and audio codec it uses.

If it's really 5.1 audio, the file will be much bigger because AC3 audio files are much bigger than mp3s, and dolby digital format is even bigger.