El Mariachi is a restaurant offering authentic Mexican cuisine, including tacos and nachos, in a cozy atmosphere.