Some lightning and thunder this morning. Red dots are lightning, West Marin was a hot spot this morning, anyone see or hear it?