>>У них вроде в WMV формате. Для него тоже DivX нужен?<<
Да.