Muchas gracias, lainol.
Por cierto, ¿esta ROM puede instalarse desde la propia Diamond por el procedimiento que se describe en este mismo foro?
Parece una solución muy cómoda al quedar al margen de posibles problemas con ActiveSync y demás manías de Windows, pero no sé si tiene algún inconveniente.
Gracias de nuevo.