Official scorer should troll the Astros and change that one hit to an error if the Astros don't get a 9th inning hit.