rFan, you may also want to consider an early start time. While the forecast for thunderstorms is only a "slight chance", you can improve your odds by arriving at the summit before noon. Thunderstorms are more frequent in the afternoon, so later arrival increases the odds. 9 hours up is "typical", and if you are "typical" a 3:00 AM start time would get you to the summit by noon.