They are using a really high bitrate WMV compression.
The bitrate they use is approx. 4229kb/s.
The codec is the WMV3 Codec also known as the WMP v9 (VC-1 Simple/Main) codec.
All of this information can be found out by using
Gspot on any WMV or AVI file.
Hope this helps you out.