danny devito as the devil, red horns