San Miguelito is a restaurant and bar.