I just went down to Westin, and they're all out of the $2.50 chips. The cage told me they will not make anymore, and they will use .50 coins. Does anyone know how many were issued? I heard a rumor of 500?? does anyone know for sure. Thanks!