I used to be a huge fan but forgot about them for a while when I went to college. I've been getting a craving for them lately, and I know that they were always sold around the holidays and that they were red, green, and white. (I heard about crispy mint M&Ms a while back, but that's not what I'm looking for.) There's no info about mint M&Ms on the company web site -- do they still exist? If so, where to get them?