Happy Cinco de Mayo! (It’s not Mexico’s Independence Day.)Cinco...