Does anyone know if Six Flags Over Texas in Arlington is going to be crowded or not tomorrow (December 21)? They’re only going to be open from 4-10:00pm. I’m not sure if that will be enough time for me to ride everything.