Just to be a bit more accurate, AVI is a little like QuickTime in that it's a shell. AVI can be encoded using various formats. DivX, Matro..., etc. So it could be a codec issue. I suppose you could always trial it out with another player such as
VLC (a free player.)