They should have been allowed to keep Dopey and Happy, for sure. Maybe
even Sleepy.

Grumpy ol' Disney wasn't very Bashful about defending its "intellectual
property", but it's surprising that this wheezie- Sneezy old chestnut
isn't part of the public domain by now. Heck, Disney stole the entire
story to start with!

Not too cool, Doc.