dˈʊɹɹɪŋ hɪz θɹˈiː sˈiːzənz æz ɐ ɡˈeɪɾɚ, hiː sˈɛt nˈuːmɚɹəs tˈiːm pˈɪtʃɪŋ ɹˈɛkɚdz, ɪŋklˈuːdɪŋ mˈoʊst kɚɹˈɪɹ stɹˈaɪkaʊts ænd mˈoʊst kɚɹˈɪɹ stɹˈaɪkaʊts pɜːɹ ˈɪnɪŋ.
During his three seasons as a Gator, he set numerous team pitching records, including most career strikeouts and most career strikeouts per inning.