Now that Aldon Smith is back, does anyone know if Randy Gregory has tried to be reinstated? If so, where in the process is he?