They use a proprietary player that gets the video file via TCP connection. I doubt that it can be recorded.

It buffers the stream however I haven't found any media files in the cache folder of my browser.

You may use screen video capture program to record such streams.