Ol' Santa Claus (Extended Version)