har en liten film på ca 4 min som skal rendres i Vegas 5. hvilken codec er best i forhold til kvalitet, strørrelse på fil, og tiden det tar å rendre filmen??