Yes. Losing him really hurt, but those are the types of moves you have to make when you were in the situation we were in. Greinke did his job. Sucks that we came up empty while he was here.
Would have definitely been worth it if Hinch left him in for Game #7 in the World Series with the lead. But that's another Will Harris story.