A las 3 que son las 2, pasados unos minutos, se consumaron los cambios.
La novedad es que dejaron por el mux58 TVE1 en HD indicado en alguna web, pero con un calidad de 2'5MB, cuando HD son 10MB, con calculadora en mano, da para los 4 canales SD, el nuevo HD y nos jugamos unos cafes/cervezas...