Real de Minas was a Mexican restaurant.