Happy Cinco de Mayo! It’s a holiday that’s as respectful of Mexican traditions as Epcot Center’s Mexican food pavilion.