The ML record in real life is only 13.41 K's per 9 innings (held by Randy Johnson, a freak of nature who holds 7 of the top 10 spots). There are exactly 133 cases in baseball history of a pitcher having a season with 9.0 or more K's per 9 in a season (that's 133 instances-- there are pitchers like Randy Johnson who have had a dozen instances). The translation is, while such pitchers exist, they are a lot more rare than people think, and a rate of 9 K's per inning is a monumental achievement. In my world the record after 10 seasons is 10.29 (achieved this year) which would put him 41st on the all-time single-season list in real life, with the modern era of major league baseball being a lot longer than 10 years. So, it seems like the game engine is actually fairly accurate with this stuff. Maybe someday our world will see a guy strike out 13 guys per 9 innings, but he'd have to have insane ratings plus about 100 velocity-- doable, but, like Randy Johnson and Pedro Martinez, extremely rare.