This web-site uses embedded Windows Media Player. And RTSP .wmv Windows Media streams are used. They can be recorded with paid Replay Media Catcher 4, WM Recorder as well as freeware GetASFStream, SDPReceiver.

Besides downloading, you can capture RTMP packets from embedded Windows Media Player using paid WM Recorder or freeware WebVideoCap.