No...I have never heard about it. Sorry for your loss of your friends.

I in the other hand...try my best to be safe..I have done that jump and the one next to it..50+ times. Just gotta make sure to go there during high tide or soon there after. It is not that high 20-25 ft is the one jump and the other is 25-30ft. It is illegal, so, just watch for cops. But I have never seen them bust anyone and I have never been busted.

HAHA! I digress..GO SAN DIEGO