Holiday in the park question

Sorry for a dumb question, but I can't seem to find the answer online anywhere. We're traveling from Maryland to Dallas and want to go to holiday in the park on Saturday Dec 13th. It says the park is open from noon-9, but I don't see a separate entry time for holiday in the park. Does that mean if I buy a holiday in the park ticket, I can be there from 12-9?

Some other parks do their holiday thing in evenings as a separate ticketed event, so that's why I'm asking.

Thanks!