I'm so sorry to hear this, and FWIW offer my sympathy and respect.
Mike was something of an institution here, and I would guess in Life itself.
May he rest in peace.