As much as I like Rudolph, I just don’t see it as usable because of the red-nosed reindeer association. Plus I’m not a fan of Rudy as a nickname.I quite like Harold, it’s got a strong meaning and an interesting historical usage. I would also love to use the nickname Rollo!