Si, el formato es correcto, empieza por EE y termina en HK con 9 números, en la web de correos me dice lo mismo, aunque eso es más normal, ya que hasta que entre en España ellos no saben nada. Yo me imagino que el tío que puso el número en mi ficha se equivocaría en alguna cifra, aunque es una putada, sobre todo para cuando entre en España, ya que con él sabes si lo pararon o no en aduanas.
salu2.