It is funny how people can touch our lives over the internet, even though we've never met them in person. Mike was one of those people, a wealth of knowledge, friendly, and always jumping in to help out. Though I never met him, I feel in some way as though I knew him just from the interactions here on the DIS.
My condolences to his family!