El Mirador is a dining establishment.