Verifactu a través de la AEAT

Al intentar dar de alta un cliente intracomunitario (portugués) con domicilio en Porto (Portugal) e introducir el código postal 4000-455 que corresponde a su calle Rua de Santa Catarina, me dice:

- El código postal no tiene un formato correcto (Ir al error)
- Consulto por internet y me dice:
   Copio y pego
   Rua de Santa Catarina

   O código postal 4000-455 está associado à Rua de Santa Catarina no município de Porto, em Portugal. Este       
   código  postal abrange o troço impar de 877 a 973 da rua e está localizado na freguesia de União das Freguesias
   de  Cedofeita, Santo Ildefonso, Sé, Miragaia, São Nicolau e Vitória. Para mais informações, você pode consultar
  mapas e detalhes adicionais sobre o código postal. 

Es decir está bien introducido
¿Qué puedo estar haciendo mal?

¿Nadie?