Paul talks about the one of the great days in Astros history. Did they give up too much for Verlander? What about Drew Gilbert and 2025?