Redshirt rule question