Happy Cinco Ocho de Mayo! Our weekly happy hour at work was supplemented with trays of tacos, toppings, and chips.