Die Benagil-Meereshöhle wurde über sechstausend Jahre lang durch atlantische Erosion geformt; ihre Kathedralenkuppel öffnet sich durch eine eingestürzte Decke zum Himmel und lässt eine Lichtsäule an der Küste herein. Die Formation liegt auf halbem Weg entlang eines fünfzehn Kilometer langen Abschnitts aus Jurakalkstein zwischen Lagos und Carvoeiro, einem Teil der fossilienreichen Klippen der Algarve, die ein flaches Meeresschelf vor 150 Millionen Jahren dokumentieren. Die Höhle ist nicht über Straßen erreichbar. Der Zugang erfolgt nur über das Wasser, und der schmale Strand im Inneren – eine Sandkuhle unter dem Auge – bietet Platz für weniger als zwei Dutzend Besucher gleichzeitig. Lagos wurde Anfang der 2010er Jahre zum wichtigsten Ausgangspunkt für Benagil-Touren, als die Bilder der Höhle auf Reiseplattformen kursierten und die Nachfrage die Kapazität der eigenen Bucht von Benagil überstieg. Die Marina de Lagos, die 2007 mit sechzig Liegeplätzen und einem kommerziellen Kai wiederaufgebaut wurde, schickt in der Hochsaison stündlich Schnellboote, RIBs und traditionelle Fischerboote hinaus. Die dreißigminütige Fahrt in Richtung Süden führt durch Ponta da Piedade – ein Labyrinth aus fünfzig benannten Grotten, Bögen und Felsnadeln –, bevor das Boot das Kap umrundet und nach Osten in Richtung Benagil abbiegt. Die Reiseveranstalter unterscheiden sich durch Geschwindigkeit, Gruppengröße und die Anzahl der Zwischenstopps. Die Schnellboot-Abfahrten legen die Strecke in unter vierzig Minuten zurück. Traditionelle Boote, die langsamer und breiter sind, halten möglicherweise an zehn oder zwölf Formationen an, bevor sie die Kuppel erreichen. Das Innere der Höhle misst etwa zwanzig Meter im Durchmesser und der Sandstrand liegt nur bei Ebbe und mittlerer Flut frei. Hoher Wellengang verschließt den Eingang vollständig; morgendliche Abfahrten zwischen April und Oktober profitieren vom nachlassenden Wind über Nacht und einem ruhigeren Seegang. Die ockerfarbenen und weißen Schichten in den Kuppelwänden entsprechen abwechselnden Sandstein- und Mergelschichten, die jeweils eine Änderung der Sedimentzufuhr während des Mitteljuras markieren. Eine zweite, kleinere Öffnung an der Ostwand lässt am Nachmittag seitliches Licht herein und erzeugt einen Kreuzlichteffekt, der den Ort zu einem der meistfotografierten Küstenmerkmale Portugals gemacht hat. Die Bootsfahrt von Lagos bleibt das wichtigste legale Transportmittel; der Zugang mit Kajak und Paddleboard vom Strand in Benagil aus ist im Sommer zeitweise eingeschränkt, um das Gedränge in der Höhle zu bewältigen.