A starting corner at 8.5M? No way they don't pick up that option knowing they can get out consequence free before the start of the league year.