He wasn’t vintage Justin Verlander, but it didn’t matter. The Astros have been in sore need of a boost to its already thin starting rotation, especially in light