Will Astros’ struggles, players’ comments push team toward Justin Verlander?

The Astros should make a trade, because you know Astros fans — and the players, too — would be frustrated if that Houston offense went into the postseason with this Houston pitching staff.