I used to have a few grok* domains, even had a company called Grok Domains.
Not even one left but I can see they were all re-registered just now. Good luck then.
I like the name btw. Not sure if they get a TM because it's a generic(ized) term in the IT niche.