Surely all the hard work comes before the encoding - same source AVI not matter what the destination. Or am I missing the point?
You could just spread the VOB files over two DVD5s for distribution and let people put them back together on to a DVD9 and burn them themselves.