Yeah, it's on the official site. Their names are Happy, Grumpy, Sleepy, Dopey, Sneezy, Bashful, and Doc. Ok, no really, their names are Uno, Duo, Triam, Quattuor, Sex, Septem, Oct, Novem, and Decem. There should be one between Quattuor and Sex though. My guess is Quinque. I believe these are Roman numbers. They might be Greek. I'll get a piclist with them in a bit.