How happy are you the Astros have been eliminated from the postseason?