El Txoko is a restaurant.