Hello Jerry,
The first video was made as a windows media video file, the rest are divx files (technically speaking are encoded with a H.264 codec). All you need to play the videos is a divx codec, you can download one for free from
www.divx.com , once installed you can use windows media player to play the videos.
You can always watch the videos in youtube, don't forget to click the link "watch in high quiality"
If you have any more problems with the videos let me know.