Il formato AVI è un "contenitore" di audio e video in altri formati, per cui può darsi che siano normali file AVI ma che tu non riesca a riprodurli perché non hai i codec adeguati. Prova ad esaminarli con GSpot.