This is all great advice. Let me add that if you’re going there and need help planning, a great resource is WDW Prep School. It’s not too fan-ish and has a lot of great infographics and resources for any kind of Disney trip, including a great podcast with tons of different topics.