Qual é o nome de mineiro em Rudolph?

Não há um mineiro nomeado no Rudolph, a história de renas de nariz vermelho.

Os personagens principais são Rudolph, Papai Noel, o abominável boneco de neve, Yukon Cornelius e as outras renas.

A história menciona os elfos que trabalham na oficina do Papai Noel, mas não são mineradores.