Riva Destra is a restaurant.