Yes I have. Both Disneyland & Walt Disney World. But I went of the first full week in December, because, no one is there! The week of Thanksgiving is packed and the closer you get to Christmas is the same, but that first week, children are still in school, vacations are upcoming, but not there yet and a lot of company Christmas parties are scheduled for that first full week. The parks are all decorated, they have the special parades & you can get on the rides very quickly.
"Maybe Christmas," he thought, "doesn't come from a store. Maybe Christmas perhaps, means a little bit more!"