GDT: Rangers vs. Astros, May 12