Když nainstaluješ DivX kodek, tak to WMP třeba přehraje.
http://www.divx.com/
VLC by to přehrál i bez něj. Který formát použít je celkem jedno. Pokud fungují na TV oba a zdá se ti výstup DivX kodeku kvalitnější, pak používej ten. S H.264/AVC se také dá dosáhnout vysoké kvality a malé velikosti souboru, jen to chce podrobnější nastavení, což Pinnacle asi nemá. Dobrý je na to třeba Avidemux. A pokud některé videa nebudeš stříhat, pravděpodobně nebude třeba je kódovat. V AVC formátu už jsou. Stačila by případně jen změna kontejneru. Nevýhoda by mohla být ve velikosti souboru (vysoký bitrate).