Hard Rock new issue Cinco de Mayo 2012 chips

The Hard Rock Las Vegas will be issuing their Cinco de Mayo 2012 chips on May 4th of 2012.  They will be releasing 1,500 of the $5 chips and 500 of the $25 chips.  The same design is used on both denominations.