Rocks fall from the mountains there all the time. Was with the Socal MK7 group on a cruise a few months back and one rock took out my tire, bent someones wheel , and crack the third persons oil pan.
The. Same. Rock. Was about the size of a football i'd say.
Like you said be extremely cautious up there.