set filter to PADL(transform(val(ZipCode)),"0",5) <> ZipCode AND NOT(ISNULL(ZipCode) OR EMPTY(ZipCode))

Keep in mind this will eliminate all Canadian zip codes (because they have letters in them).