Thanks everyone.
I did order from Disney the gingerbread Mickey with the mix set a couple of days ago. It was $7.50 plus $9.95 for shipping. I missed out last year, I wasn't going to miss out this year.
But I adore the Mickey Minnie set. (I would post a picture but it wasn't working out.) I think the Ebay seller got them from Disney Tokyo. I just keep thinking they have got to be somewhere else.

WDW merchandising doesn't sell the set. The $39 plus shipping is a little high for what it is. I'm not sure it I am that crazy to break down and buy them. I'm going to call Disneyland in the AM. I will make a trip to Walgreens to see if I get lucky with the snowman. They are all so cute.
Funny is that I never made gingerbread cookies until a trip to WDW at Christmas. I bought a cookie from the gingerbread house at GF. My DD and I went back into MK. Later I went to eat another bite off the cookie and it was gone. My very picky DD had eaten it. We have been making tons of them since all year round. Her sports teams requests this cookie for for the first and last home games, plus playoff games. (The parents hope for leftovers. I usually make extras and give them to the parents first.) And they love the three circle Mickey head. I already wore out one cookie cutter and had to replace it.