These videos are encoded as MP4.
You will need the latest version of Quicktime to play them.