On our last trip...
October 13--1900 Park Fare had mini M+Ms, chocolate chips, and I think gummy something or another available as toppings.
October 14--Crystal Palace had chocolate sprinkles or rainbow sprinkles, but that was it.
On the whole, I liked Crystal Palace's buffet better (though 1900 Park was also excellent), but 1900 Park wins in the ice cream topping contest.
What is Chef Mickey's like? We've never made it there (got kind of scared off by some things I read here).