I've been using ffmpeg lately, a free opensource tool from www.ffmpeg.org - it's
very fast and good for converting to numerous other formats, even extracting the
frames, or only some of the frames (like one per second or every 10 frames
etc...).

Just wanted to share this. If you need to turn your Dogwaffle AVI's into an Mpeg
or Quicktime, FLV and other formats or even just to keep them the way they are
as AVI but with different parameters such as dimension, frame rate or bitrate
(quality), and you're not afraid of using a command line interface in a cmd
window, this will do great.

I can post sample scripts if anyone is interested

-Philip