Ah, tengo sueño...
Cita: Los formatos de compresión de vídeo que utiliza HD DVD son MPEG-2, Video Codec 1 (VC1, basado en el formato Windows Media Video 9) y H.264/MPEG-4 AVC.
De los codecs buenos AVI que te soportan tamaños personalizados y que dan muy buena calidad, el TSCC de Techsmith.. si tienes un proyecto de 1440x1050 y renderizas en Avi con el TSCC te lo dejará de ese tamaño con bastante buena calidad... pero, cuál es el bitrate de tus archivos??