Bueno, ya he instalado la versión HD_for_all_500_Plus_v8.5.18.r5740 que se comenta más atrás.
Efectivamente no me pidio formatear el disco duro. Yo tenía instalada previamente la versión HD_for_all_500Plus_v8.3.14.r4803.
En cuanto al firmware en sí, pues está bien, aunque hay un aspecto en el que es horrible, y es el de la gestión de los canales de la TDT. La ordenación es insufrible, y la numeración de los cananles no se cambia aunque se ordenen, es decir si La1 se sintoniza con el número 23 aunque la ordenemos y la pongamos en la primera posición para acceder a ella se tendrá que pulsar el 23 o llegar a ella de forma secuencial con avanzar o retroceder canales.