I understand your thought process but I am glad that Manning and company pulled his redshirt early. If they waited until after the first of the year he wouldn't have gotten tough competition to wrestle at CKLV. Iowa and PSU usually don't have any tough tournaments until the SS and Midlands.(not sure if either of those teams are wrestling either tournament this year). Midlands does allow redshirts but from how I understand it your team has to be there to get into it.
BTW I was glad they pulled the shirt before his good tournament at Vegas. I watched him at the Daktronics open and was very mpressed