Which begs the question for me... has Baylor used his redshirt already? If not, has he played in 4 games? If he has he's probably right at 4 games.
If it's available I would redshirt Baylor to distance him another year from Zach, thus making it possible to keep him and have him be a starter as a Junior. Otherwise I could see him looking elsewhere for playing time, though I hope he doesn't.
Wishful thinking on my part, I have no idea if the RS is available for him.