Red Bull had a Sergio Pérez replacement in house. Instead, it chose Liam Lawson, who's underwhelmed in 2025.