Yeah, Radtools is the way to go. Quicktimes are hard to work with because the format is so proprietary. If you have Quicktime Pro or Adobe Premiere, both of those can export to AVI as well, but of course they are not free.

If your friend is thinking of going to MPEG, DO NOT attempt to go directly to MPEG with Rad Tools or any other tool except TMPGEnc. I have been working extensively with digital video and MPEG encoding lately, and I can tell you that TMPGEnc has absolutely the best MPEG quality of any encoder out there, including Cinema Craft, *if you use the right options*. And it's free. You can get some templates for it that will give you unbelievable quality and file size at www.kvcd.net