Do I need a stroller for 4 year old at Disney

ca

My fiancé and I are taking our 4 year old to Disney world in a few weeks.

I’m mostly just wondering if I should bring him a stroller. He has lots of energy, we go to zoos and bikes all the time, he can easily walk for a mile or two before he gets tired. I don’t know if a stroller would be worth lugging around.

Has anyone taken there 4 year old to Disney world? Did you use a stroller or no? If you did, what stroller did you use?