Just remember if you are in MK and leave you may not be able to reenter because it usually closes (due to crowds) around noon. Also ADR's in the park fill up fast, so if you plan to eat in the park, make them as soon as they are available. Last year we ate lunch at Liberty Tree, tradition Christmas meal served family style.