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!