Too funny! We haven’t forgotten old Devil Doll! I got one from a friend who worked at Macromedia (Joe must have handed a few out to grease the wheels at MM). It was part of my kids’ soft stuffed animal collections until we got a dog. Then the dog used him most vilely and we’ve been patching him up ever since. His red has faded to a delicate pink, but seeing my dog run around the back yard with DD in his mouth always brings a smile.