Grinch Salad - gluten and peanut free

I called Kraft Foods today to ask about their allergen warning process.  I was told that Kraft clearly identifies the most common allergens on their packaging.  Regarding gluten, any ingredient derived from a grain source (wheat, rye, oats, barley, triticale, spelt, kamut, mir, and farina) or manufactured in a facility with grain sources is listed on the package.  Therefore, my box of pistachio instant pudding, marshmallows, and Cool Whip would be considered gluten free. 

So, my 11 year old, Sugar Plum, will be bringing "Grinch Salad" to our Girl Scout Troop's Christmas party. 
 
Recipe - this is a slight variation from the Watergate Salad recipe on the JELL-O box.
1 20 oz. can of crushed pineapple, undrained
1 8 oz. container of Kraft Cool Whip Original Whipped Topping, thawed
2 cups  miniature marshmallows
1 3.4 oz. box of JELL-O pistachio instant pudding & pie filling
Add green food coloring as needed for a "grinchy" color - not always necessary.
First combine the undrained crushed pineapple with the pistachio pudding in order to incorporate the pudding more easily.  Combine the remaining ingredients and refrigerate for at least one hour.
This can be made a day ahead.