Have any F-35s been lost to lightning? Maybe the military is more flexible for lighting strike resistance because of their rarity/flight hours/operating envelo

Have any F-35s been lost to lightning? Maybe the military is more flexible for lighting strike resistance because of their rarity/flight hours/operating envelopes/number of souls on board? Is there any irony that its called the "F-35 Lightning II?" EDIT: System that injects nitrogen into the fuel tanks was found to be faulty. They're fixing them but have just restricted them from flying near thunderstorms in the mean time.