I'm so sorry to hear this. My condolences go out to his family, friends, and co-workers.