All done. Great season for the Astros and really a year earlier than I expected. They aren't going away any time soon and October baseball will be a regular thing in Houston for years to come.