Códgo hay, tienes el número de serie y el IMEI, pero tienes que tener el móvil en la mano y poder anotarlo. Luego lo ingresas en la página de htc para bajar un update d la rom por ej, si lo acepta, es original.
De todas formas, no se me han cruzado muchos dispositivos pirataque sean tan exactos como para ser engañado; dónde buscas y a qué precio? (por el precio te puedes guiar; nadie te venderá una TP2 por 300€ sin ser alguien de la familia

)
Salu2
Yo