Siiiiiiiii!!!!! Correcte!! A mes a aquesta imatge que has posat se veu molt millor que al google earth. La foto esta tirada just des del N del llac. El que me va sorprendre es que a la foto pareixia de fet una cala, ja que no sortia res de la cantera.
La aproximació de la Pedrera de Son tei tambe es molt bona, ja que tambe hi ha un llac de similars caracteristiques.
El topònim correcte es Gravera d'es Puig
Miquel_br, el torn es teu!