Looks like it's supposed to be either raining or thunderstorms while we're at WDW next week. Would you only bring ponchos as a just in case or some kind of a lightweight rain windbreaker type thing? All our raincoats/jackets that we have are designed for colder temps, not mid 70s-80s. What would you use for warm rain other than ponchos?