When we were there at the beginning of July, I asked to see the binder at Aloha Isle in MK. That binder had an asterisk next to the pineapple dole whip that said "contains casein." However, at the Poly, a CM brought out the box with the ingredients label on it and it was safe. I posted about that on here and folks seemed to think that it is more of a cross contamination issue at MK because of the buckets they use to make the mix. Either that, or the ingredients list was old.
The chef at 'Ohana went downstairs and got me a pineapple dole whip as my dessert, and I had no reaction. I did not, however, eat one at MK.