Per codec intendo tutti, non solo quelli di WMP
Poi ricorda che puoi comunque aprire anche i DivX e gli XviD con VLC, basta selezionare "Apri con..." dal menu contestuale