The odds of getting hit by a lightning is actually surprisingly high (1 in 3000 in an average lifetime). He should really go see a doctor though, since there's a 70% chance that he may be affected with serious long-term conditions.
[source : http://news.nationalgeographic.com/news/2004/06/0623_040623_... ]