Hi all, A couple of years ago when we were at WDW I bought a Mickey plush stuffed toy. Not sure what it was actually called, but I call him "Technicolor Mickey" because he is all different colors. His ears are purple, shorts are orange, he has some green, etc. They were available in several different color combinations. Does anyone know if these are still available? My DS5 has been "sharing" my Technicolor Mickey with me and asked last night if we could get a second one, because "sharing is nice, but I don't want you to be sad and lonely when I sleep with him so we should get another one". The one I have is the small version, and I would like to get the larger one if they are still available. Does anybody know? Thanks.