The .wmv version is best suited for downloading because of 2 factors:
1) It compresses the file down to a size for more room on a server or disk. This also makes for saving more space on data transfer, which could cost a lot of money, especially with large files such as video clips.
2) It greatly reduces the downloading time, as you stated, on people with dial-up.
The videos, I assume, were made using Windows Movie Maker which is ideal for web production in this instance. Let's not forget that the webmaster, as do many with sites just like his, conducted all of this with his own time and money.
Great job and keep up the great work!