Sad news. Thanks for mentioning it; I had not previously heard. he will be missed.