ciao io di solito quando mi trovo davanti a dei file video che hanno un estensione che non è quella .AVI uso un programma che si chiama extension change, dopo l'installazione ti basta andare col mouse sul filedi cui vuoi cambiare l'estensione, premere il tasto dx e troverai nel menu che ti si apre la voce edit the extension
lo clicchi e ti apparirà una schermatina come questa
a questo punto non ti rimane che mettere AVI e schiacciare change
il programma puoi scaricarlo da qui
http://www.puntocr.it/index.php?module=downloads_riz&func=display&pid=10&lid=167
