TIL The Dwarfs at your local pantomime this Christmas are named differently to the film because Disney copyrighted 6 of the names (they forgot about ~~Dre~~Sneezy)