El formato AVI al que te refieres es el DivX y hay infinidad de modelos, marcas y precios. A partir de 50 o 60 euros los hay en todas partes. Si te vas a las marcas y buscas calidad, ya sube por encima de los 100 euros. Infinidad de posibilidades