I wonder if The Hard Rock is going to skip the 4th of July again this year and just issue the Cinco de Mayo. Just a thought.