I seem to vaguely recall that thunderstorms at WDW come w/ lightening and that when this happens you should get out of the pool, right? Any other advice for someone who's unfamiliar w/ this type of weather. Also, how long do 'afternoon thunderstorms' last?