Pimientos is a restaurant.