I was a little vague.

The customer was initially trying to make a purchase with a 9 digit zip code. After some failed attempts he changed his shipping address to a 5 digit zip code.

Sorry.