fillip_k: Im not sure if replying after this long will help but,
you can use VisualHub.
It saves the converted AVI into a DVD ISO ready for burning.
Hah! I own visualhub and i forgot about that! doh, visualhub would be the best option if you have it. quick and easy.