We were there last Friday, 10/31. I am not sure of crowd level mid-December but I would think it would be similiar. We entered the park about 10 and did the following until 3 pm (EE, Finding Nemo - the Musical <were there 20 minutes early>, Dinosaur, KKR - with fast pass, lunch, ITBAB, Flights...