Almost certainly less than it cost them to train grok and definitely less than they're paying to service X.com's debt load.