Hurricane harbor staffing

Anyone gone to the water park lately? Planning to go next week but family said the one in Dallas is way understaffed with many slides shut down and crews rotating between them every hour or two, Lazy river opening late and such.

Just wondering if it’s a similar situation here. Tickets are pretty expensive to have half of the crap unavailable. And yes I know about the chlorine incident last year. I’m pretty sure that’s not a regular thing.