Could Randy Gregory be back sometime in 2020?