‘Bad man’ Gerrit Cole was everything for the Astros