These files are encoded as Windows Media Format Files. They have been compressed to make for a smaller file size and a faster download. With that being said, they are still big files and you might want to right click and save the file if streaming the videos become choppy.
If it is taking too long, try clicking on the "(Lower Quality)" option or try the streaming high quality DivX version.
