Did he used to go by the name Bob Barr? Or am I thinking of someone else?
Bob Barr is a different person.