This will be our first trip in Sept. with our 4 (turning 5 while we're there) year old. We've been told to carry a stroller. He is big for his age so....should we just rent one from Disney, buy one to bring or what??? Any suggestions???