 So a little discussion here. Maybe, I don't know, realizing this could be the end of the road here for Luis Gil at 81 pitches. Been a rough go of it his last three starts, but he's been impressive here today. Just giving him a little breather. It's been a 20-pitch inning for him at this point. Both guys done a really nice job, and teams' bullpens have been used and abused here recently.