I don't have th divx option either, when I want to create an avi file (for fast preview), I use uncompressed, and play it with VLC Media Player. For serious animations, I'd recommend saving to individual frames, and use VirtualDub to create the movie.