@andrewt What I enjoy about this is that Rudolph was already meant as a sort of dorky name for the misfit reindeer. Really the only thing stopping him being Kevin was alliteration. But now Rudolph is 100% reindeer-coded and we need Kevin to take his place.