It didn't say it in the Wikipedia entry, but is the name based on Rudolph the Red-Nosed Reindeer?