They better not have used Grok under-the-hood, Santa might ask the kid to call him Hitler.