The lines will be nothing like Christmas. October is busy in the WDW resorts but not necessarily in the parks. Lots of conventions book at WDW in October. The first weekend/Monday of your trip may be a bit busy because it's Columbus Day and Canadian Thanksgiving but nothing dramatic. It's only when lots of schools are closed that you can count on big crowds.