Theo needs minutes, if he stays he can by being better managed than Zidane did. He should play at least 8-10 league home games, Copa plus home CL games vs 3rd and 4th seeded teams. Then odd away games vs lesser opponents like at home.
Plenty of time to go around. Does Marcelo need to play Eibars, Levantes at home.
Theo will come back, just a dry loan plus would start at La Real
Spending same money on a replacement LB as you did for Theo, makes no sense. Theo younger plus knew the league.