St. Louis Cardinals pitcher Bob Gibson struck out a record number of Detroit batters in Game 1 of the 1986 World Series. How many Tigers did he strike out in total?