what was the nickname of the pitcher that went to school in texas ?
happy