What happens if thunderstorms at Discovery Cover

[Portugal1000]

First ever visit this year to DC despite it being our 10th trip to Orlando. What happens if thunderstorms before you have had your dolphin swim, or even worse, bad weather all day. An expensive day so assume there is something in place to deal with these events.
Thanks