Cinco de Mayo with a festive menu, featuring chunky guacamole with serrano peppers; steak quesadillas; yellow chiles with spicy shrimp; and piña-colada ice pops.