Disney World - What to Bring??

JackM wrote:

Doing the Disney World trip for the first time with my family. Kids are 10 and 7. Staying at the Polynesian. I'm torn as to what to bring. Here is my gear:

5D3

17-40L

24-70L

70-200/2.8LII

100/2

Considering buying either a 35/2 IS or a Fuji X100s for the trip.

Have you done the Disney trip with your DSLR? Are you glad you did? Do you wish you had brought something smaller?

Right now I am thinking of these possible combinations, in order of my current leaning:

1. 5D3 + 35/2 + 100/2
2. Fuji X100s only
   
3. 5D3 + 24-70
4. 5D3 + 17-40 + 100/2
   
5. 5D3 + 17-40 + 70-200
6. 5D3 + 24-70 + 70-200
   

I am torn between lightness+portability, and photo capability. I'd love to hear from some people who have been there!!

Thanks.