@taoist just reminded me. Used to live near Boston and used DirecTV. Lost a couple of DirecTV receivers, but it wasn’t actually to lightning. It was to wind storms. The wind would cross the surface of the antenna depositing an electron charge. It would eventually build up and ZAP!! Probably no more of a charge than you get on a dry night when you walk across the carpet and touch something or some one that's grounded.
No lightning, no power surge needed. The solution was installing a coax surge protector. BTW, it was grounded externally. That was not why.