Los Pinos is a restaurant.