Today was Cinco de Mayo, a major event here, even though it’s barely observed in Mexico. So of course I decided to go out to a Mexican restaurant for lunch with some friends. Very bad idea. The usual Friday crowds + Cinco de Mayo crowd meant we were lucky to even get in. It took them 45 minutes to serve us.