All of the above videos will launch in Windows Media player. They are in .wmv format. To save a video to your computer, right-click the button of the video you wish to download, and choose 'save target as' from the popup menu. If you don't already have Windows Media Player, you can download it for free here.