Pues tras infructuosos intentos con los valores mencionados, en Madrid, me funcionó con esto:
Madrid (Canales Estatales)

Canales: TVE 1, TVE 2, 24H TVE, CLAN TVE, RNE1, RNE2, RNE3
Red: RGE MADRID
Identificador de red: 12578
Mux: 58
Frecuencia: 770000

Saludos.