I did in fact rush to swim again this morning, before the thunderstorm started, but it was too early to document.