You know they’ll plug Grok into Starlink someday right.