Very sad. Mike will be missed. Condolences to you and your family.