I watched the game. Even the announcers noted that Robertson with 8 pitches should come back for the 9th.