Original: Randall Craig '' Tex '' Cobb ( born May 7 , 1950 ) According to the State of Texas .
Simplified: Randall '' Tex '' Cobb ( born 1950 ) was an American boxer from Texas .