Restaurant known as Serranito.