We know that in hindsight, but at the time even Lewis asked why they didn't pit one driver.