Question: Did Roman Grosjean leave the Haas team before 2020?
Answer: No