Есть утилитки, которые позволяют узнать каким кодеком закодирован AVI.
Я бы посоветовал GSpot. Если не найдешь, дай знать. Если хочешь быстро попробуй просто поставить кодек Indeo. Так часто бывает. Ставить все кодеки сразу я бы не советовал - можно нажить проблемы в системе.