More socketing confusion

[Crystalion]

Depends on if you were born before 1961. ;)

Well, as you go on to point out, it is fuzzier than that, because Heinlein no doubt used the term before publication. What I meant, of course, was that I was using language before Grok came into popular usage, some time in the 60s.

Although, to the best of my knowledge, I didn't read SiaSL until ~1975. And this is clearly long after Grok had entered the pop lexicon.

Suffice it to say that today is my father's 82nd birthday and I've long had (prematurely, ahem) grey hair.

However my point was merely that Grok is relatively old (compared to, afaik, Hork). I don't have a copy of the OED though, so this impression could be completely wrong.