@Benedick: Indeed. On topic: does the family get to keep the insurance, or get coverage as part of survivor benefits,…