I think that's likely but I don't remember the exact quote.
> I did not know he was an older guy and do not remember his real name.
I don't know that we ever got his real name, although I could certainly have forgotten about that. Depending on his actual age I'm probably wrong about him being the second oldest person at the time but he was older than most of the board.. Looking back I think he was in his mid-30s but I don't know how certain that is. Trying to think of anything, I believe I remember a conversation about Star Wars where he talked about seeing Empire and Jedi in the theater, which makes me think that around 7 years old in 1980 would be an approximate low guess for his age.