My trip isn't until late October, so I'd think they'd be back up and running by then.
Appreciate all the feedback on this from everyone. Sounds like I should be ok with my current reservation. 4 adults and an 8 year old, so I think we can walk over and hustle a little bit if necessary.
Glad...