People I used to know

I used to know a guy named "Happy Jeremy". He was in my kindergarten class. It was the late 70's in Austin at elementary school where lot's of kids' parents were university students at UT. I guess that explains the name. I wonder where he is now, and if he goes by his full first name still?