Es una duda que yo también tengo, con lo que mi opinión no la tengo 100% segura.

Igual hay otra opción, AUTO.

De esas tres, la tercera sería la que yo pondria al ir via HDMI.