IN.
If Russell was still available, Red Bull would have waited before re-signing Perez.