I was wondering about those red strollers WDW was selling in their shops last year. Do they still sell them? Has anyone used them? How much do they cost? Will they fit in a locker? How compact are they to carry on buses? We are going in Feb. and my son is 4 (36 inches-30 pounds). As I recall, it is an umbrella type stroller and I am concerned about whether he will be too big also. Well, I guess that's question overload-I'll stop for now! Thanks for any help!