We were hiking with family who live in Moraga last Sunday. On the way to Redwood Regional Park I noticed a lake that was below the ridge on the left side going towards the Park. Anyone know if that is drinking water or used for recreation? My brother in law has only lived in Moraga two years and doesn’t know either.