Is it me? or could it be that they are, in a sense, managing Stras' innings one at a time? I think he could have easily went back out for the 7th but they pulled him. Maybe that can help give him a couple extra starts in September if the Nats are in the playoff hunt.
It was a smart decision to pull him. Relievers are better than pitchers who pitch late in the game. plus the team needed a hitter to help the decrepit offense.