Ponme la captura del gspot y te demuestro que no miente
La extensión del archivo puede ser la que tú quieras, te la puedes inventar si quieres, pero el vídeo en sí no tiene por qué ser un AVI. Creo que es lo que pasa en tu caso: el archivo viene con extensión AVI, pero no es un contenedor AVI válido sino un ASF. Esto lo puedo ver con GSpot, por eso te lo pido...
EDITO: me acabo de acordar que existe un codec para WMV en archivos AVI, te lo puedo pasar si es necesario pero primero confirmamos lo del gspot a ver si finalmente es un AVI, pues tecnicamentes SI es posible.