Rising sophomore DE Chris Rock left the program Thursday, a university spokesman confirmed. Rock, originally from Columbus, Ohio, didn't play last year as a freshman. The former three-star recruit is the 13th player -- four of which were fifth-year seniors who chose not to return -- to leave the program under coach Brady Hoke.