Tag customers based on the zip code of their default address. This workflow runs automatically anytime a customer is created or update, and you can also run this workflow manually to tag all existing customers.