RIP Mike and condolences to the family. A sad loss.