Documentary (full) on legendary animator George Pal, ‘Pal’s Puppets