m Ransley wrote:

Home insurance covers lightning strikes. You dont know the extent of
total damage yet, call your broker. My last one took out 20000 in
electronics.

Good advice. I hadn't already done it because I had assumed the damage
was fairly cheap.