The video file is in Windows Media format and can be downloaded here.
(Right-click the link and chose the “Save As…” option. File size: 3 MB)

Back