6.3.4. Favoritos
El receptor le permite definir hasta 16 grupos diferentes de canales favoritos. En este menú puede
cambiar los nombres de cualquiera de ellos pulsando la tecla OK.
6.3.5. Borrar todo
Esta opción permite eliminar todos los canales de la lista de canales.
15