The Marina also had several restaurants and a supermarket here. (Pingo Doce is a famous chain of supermarkets in Portugal)