If you don’t mind, can I tack on a related question? When do the crowds really start to swell for the holidays? We’re planning a long weekend Dec. 13-16 - it’s right after my semester ends (college prof), but I know most K12 schools are still in session. Trying to set realistic expectations - will it already be crazy, or likely not too bad?