Hola,

Sí tengo el manual, pero ahí sólo te especifica los pasos que he indicado, que cómo tu bien dices, es curioso que se haga desde las opciones del sintonizador.
En el resto de menús no he visto ninguna otra opción para resetear todo de golpe.

Un saludo.