Sí, el Boris Graffiti.

Yo también he utilizado vídeo divx (.mp4) sin problemas en Vegas, tanto importado como fuente de vídeo como exportado con codificación en 2 pasadas usando el codec MainConcept incluido en las opciones de render de Vegas.

A lo mejor en la versión Demo no están disponibles estas opciones sin registrarse primero