@evanholt I wish I knew. I've looked for him twice and asked a couple of people who used to work with him, and I'm yet to find him. I'll try again later this year; maybe if I check under enough rocks or ask enough people he'll turn up.