Si la verdad eso estoy haciendo ahora, tengo un setup para peliculas en el PC y de otra forma uso el HDMI como PC... ahora la pregunta de oro es... COMO SE PUEDE HACER ESE CAMBIO RAPIDAMENTE? si uso el mismo HDMI tengo que renombrar el HDMI cada vez.. lo otro es cambiar el cable de puerto, o usar 2 cables simultaneos HDMI y DVI , teneniendo 2 configuraciones independientes por cable.. cualquier idea se agradece...