Análisis | Samsung LE-M87BD

Hola.
Quería saber si hay alguna forma rápida de cambiar desde el canal que sea de TDT al HDMI.
Actualmente tengo que darle al boton source 3 veces, para pasar por Ext1, Ext2, y finalmente, HDMI. No es que me vaya a herniar por darle 3 veces , lo que me molesta es que hay que esperar un buen rato hasta que la TV responda a la siguiente pulsación

A ver si me podéis ayudar alguien a reordenar estos "canales" o deshabilitar los ext1 y ext2, que no sé para qué puñetas sirven