I was planning on taking my g/f to Disneyland on Friday November 13th. I just realized that Veterans day is November 11th. Does this mean that the crowd will be absolutly packed? I don't think kids get school off that Friday, but I could be mistaken. If any of you had some tips what you thought the crowds would be like then please let me know. Your help and guidance would be much appreciated.