[oh_sigh]

Oh, yup. I knew him as "crazy bob" through all his guice comments, and didn't connect that these were the same Bob Lees until your comment.