Probably a bit more busy than mid December, but still very manageable. Have a great time- I'm jealous!! I have to wait til January for my next Disney fix.
Pack summer clothes- it is still HOT and HUMID in October. You might run into some afternoon rain showers, too- depending on how late hurricane season is running.