Inside Texas Today: How important is a redshirt year?