I only went to the market/cafeteria which is very ...

I only went to the market/cafeteria which is very good. They have good charcuterie, including imported Fermin Iberico Chorizo and Jamon Serrano. Good selection of beers. Some european products can be found here. Somewhat small selection of cheese and produce. They sell olive oil by the pound, $9.99/lb for arbequina Spanish oil.