Too bad the Mariners fell to the Astros and the Astros advanced to the ALDS.