For what it's worth, I would recommend looking at the recipe posted on the recipe thread (links in the previous post) and the look up recipes on online on cooking sites you like (as suggested by minniemum). I've found that the non-cookbook Disney recipes sometimes come out differently than how they taste at WDW; I think it's because the recipe has to be scaled down to home-kitchen size. I use the Disney recipe as a starting point and then go from there...