Does anyone know how his family is doing? And Wandi, you're right. I should send a note of condolence myself. Is there anywhere in particular...?