Cinco de Mayo providing needed boost for local restaurants