Hva heter gruvearbeider i Rudolph?

Det er ikke en gruvearbeider som er navngitt i Rudolph den rød-nese reinhistorien.

Hovedpersonene er Rudolph, julenissen, den avskyelige snømannen, Yukon Cornelius og den andre reinen.

Historien nevner alvene som jobber i julenissens verksted, men de er ikke gruvearbeidere.