Wow, that is a disturbing story.

Would your personal liability insurance (the stuff that we have with a home owner's insurance policy) have covered you if the suit had proceeded?