Did we, a few years back have a Pitcher named Wes Johnson? Is this the same guy?