Today we just learned of the death of  Bruce Fetting.  We don't have any more information to share.