A pleasure to have known and worked with you. I will miss the jokes Gary, (some of them anyway 😊) RIP