Taberna Rocha Pereira is a restaurant.