Postscript

Having read the National Lightning Safety Institute guidelines, I think that next time I should get out of the pool as soon as I hear thunder...