As an avid Astros fan, we have had little to brag about over the years, but I'm really happy we now have a real name for our baseball stadium, for a month or two anyway.