Does it work if you render it to a series of image files rather than an AVI? This would be a good test to eliminate if it's to do with the codec. Personally, I never render to AVI. I always render to images and create an AVI from them.