Thanks for the heads up. Sad to hear the news. Hope he enjoys his retirement.