"is that May 5th is also Cinco de Mayo."