But that's the thing:
Someone with a k/9 of 8 doesn't consistently strike out batters anyway. He can, if he's got good stuff on a particular day, but that's not the norm. A k/9 of 8 is below league average. The average is almost 9 k's/9 now.
So, I would actually say that I'm sure he edited his k/9. We all do.