Sheesh, had I known that they had Dole Whip, I would have gone there more often!

I had no idea, either! I visited Orange Leaf the afternoon of their last day; the employees looked dour and half of the yogurt machines weren't functioning or were turned off, and the ones that worked dripped out watery stuff. So maybe I wasn't missing much. Dole Whip always tastes better when eaten in Adventureland anyway.