I need advice from all the wonderful DIS'ers...we will be traveling to WDW the end of February with DD9 and DD 7 months. We will be flying and had planned on bringing our graco travel system stroller. Now DH wants to get something different ( he was playing with the city micro at target.) My question for those that have traveled recently with an infant, will a change in strollers be that significant. We are booked at POR and will be utilizing the bus system ( although an upgrade to poly is being contemplated). Are strollers like the mini and micro easier to maneuver, fold up etc...? Thank you for any advice or comments.