Did you know that Jeff Robinson , who played nine seasons in Major League Baseball , was the thirteenth pitcher in the National League to strike out three batters on nine pitches ?