My mistake regarding Google. Shame it`s a proprietary format. I guess it was done using flash to discourage copying/saving - of course there are plenty of FLV to WMV/MPG converters available now. It`s just a real painful non-user friendly way of doing things when a WMV would work from the start.