So who's Dopey, Grumpy, Doc, Bashful, Sneezy, Sleepy and Happy? This is VERY CONFUSING! I was told they're not the Magnificent Seven or the Seven Samurai. Now Ebbie says the reindeer have other names. Are they aliases?