The videos use the Indeo 5 codec with no sound. I vaguely remember seeing that MS had dropped that from recent Windows versions, so it it doesn't just work in media player then try MPlayer or ffmpeg.