Billing Details - Postcode for Ireland??

[nunop]

I'm currently testing the Smart Buttons implementation in Sandbox.

I generated a Credit Card for Ireland, and I typed the details in the PayPal Checkout, using the "Debit/Credit Card" payment method.

I selected "Ireland" as the country, and I put some address in the "Billing address".

However, I cannot get the "Postcode" field to accept any input... I'm worried that Ireland customers might get the exact same experience and not being able to make a payment... any ideas? 

Here are examples I tried:

UPDATE/EDIT -- Apparently, PayPal will keep showing an error until you actually press "Pay Now" ...
It worked when I pressed "Pay Now".

But definitely, this was a REALLY BAD user experience for me... If the format is good, then the error should disappear... I spent a lot of time trying to figure out what was I doing wrong...