He tied for the major league lead in errors by a pitcher, with 5.
His 40 career wins tied him for the third most in school history by a three-year pitcher.
Martinez, too, had an incredible season, one of the greatest ever by a pitcher.
Numbers in the 10s and 20s are usually only worn by a pitcher who is established as successful at the major league level.
His win total set the record for most career wins by a pitcher.
No other single season by a starting pitcher has had such a large differential.
Upon arousing, I found by my side, as before, a loaf and a pitcher of water.
His three pinch-hits are tied for the most by a pitcher in the last 30 years.
That's the most by a pitcher since pickoff records have been kept, starting in 1991.
It was more a caring comment by a parent rather than a professional pitcher.