We are going to WDW in October and my DD will be 6 and DS 4. We're not sure what stroller to take?! We have a Phil and Ted stroller which is awesome but we don't want to take it bc it's so big and bulky to use in the bus. My DD mostly likely should be ok without the stiller so we just need one for our DS. We need it to have storage in the bag for all our our bags, outfits, etc, but yet till lightweight and easy to fold. Any ideas?