¿No tienen extensión o tu windows no la muestra? Supongo que serán DivX y que tendrás asociada la extensión AVI al winamp. Puedes usar un programa que se llama GSPOT para ver con qué codecs (video y audio) están hechos.

Si son DivX, sólo tienes que seguir alguno de los manuales que hay por ahí.

Aquí seguimos. Unsaludo.