Por lo que parece, empiezan a llegar con variaciones. Quizá merezca le pena no cambiarlo en los 15 días que tenemos con la operadora y cuando estimemos oportuno, nos ponemos en contacto con HTC y que lo arreglen (que por lo visto te cambian el terminal pero tardan 15-20 días).
SAludos, relaxman