I don't know for sure, but I bet they would leave. Seniors don't leave because there's no opportunity for them to do so. You can *cut* a guy and send him into the recruit pool, but a redshirted guy doesn't have an on-ramp, so to speak. They have no way to go anywhere else, so they stay.