He surely had many recent thunderstorms. GFCIs tend to fail on rather than false trip. It's hard to imagine lightning making a GFCI turn hypersensitive.
I was thinking it more likely that something else on the circuit, perhaps outside, was damaged by lightning and sensitive to the voltage surge when the mo starts.
