Baseball box score of the day

Only in September do we see baseball box scores like this one, in which the Rockies set a National League record and tied a Major League record by using 10 pitchers in a nine inning game. (Similar things sometimes occur in early spring training games, but one typically also gets a lot of position player substitutions in those.)