Hostal Del Duque is a restaurant offering meals in a casual setting.