They would use Grok, as they already do.