Thanks to Hal for all his great coverage of the Reds over the years. Hall of Famer, you will be missed!