Sorry to hear about the passing of Marvin. A great guy. All who knew him are better for it.
So sorry to heart this sad news. RIP