Mike was an outstanding character and his contributions to what people in these lists do were huge, although for the most part silent and behind the scenes. I count myself privileged to have spent at least a little bit of time with this "unsung hero".