Efectivamente, el servidor de HTC esta caido. Yo he estado esperando 36h., y nada. La alternativa es usar el servidor de Vodafone, pero dan un plazo de entrega de codigo de 12 a 48h.
Y luego hay una alterntiva: yo lo he liberado con un servidor de urgencia alternativo al de HTC que han montado. Me han dado el codigo en 5 min. Pero la broma sale por 15€...