$5 million is peanuts even for a below-average starting pitcher. There is absolutely no way the team isn't going to pick up that option. Plus, it isn't like there is a ton of youth knocking at the starting rotation door. Possibly Woodruff (lets see how he does for the rest of the year) and Hader, but the rest of the AAA and AA rotations are journeymen (Jungmann, Espino) or young guys that likely need another year (Ortiz, Burnes). If you get to next year and Garza it pitching well, and there are young guys ready to step up, you trade Garza as an inexpensive rental. Right now he is pretty cheap rotation insurance for 2018.