Thanks Jon! Yes, I've tried all sorts of name searches. No luck, but
at least by trying to find him, I'm doing better than just wishing I
had. You are right...you never know where old friends might have ended
up.

You have a great week too, and thanks so much for your replies.

-Stephen