Yeah. Green came to OU because he had to. He was a true sophomore and couldn't declare for the draft after getting booted, and going to OU was better for rehabilitating his image then going and training in Arizona or something.
A redshirt year does nothing for Lee, aside from delaying the start of his pro career for no reason.