GPS Damage from storm. Solution?

Just wondering if anyone has experienced loss of GPS after a lightning storm. We lost GPS on 6 of 8 APs last night and we are wondering if it is likely the GPS Puck antenna or something inside the radio?  

If you have had this experience, what was the solution for you?

I have forwarded this to the product team and support team.