tweet: If course it should be an October concern. Do people think it just gets easier pitching in October? 80 pitches in the regular season isn’t the same at 80 pitches in October. They haven’t tried to push him to stretch him out, this isn’t a surprise. #Mets #deGrom