So that's how Santa gets his elves.