None that I know of, this is your best bet right here.
When are you visiting?
With only two parks, people visit at any time of the week. It's not like Disney where most start their vacation on Monday after flying in.
July and the first 3 weeks of August will be the most busy time to visit.
Sunday mornings can have light crowds as the locals go to church.
But the biggest advice is to arrive early at 8am and be first to the gate. At 11am, everyone shows up and the place becomes packed.