That was the first thing that I thought at the time too. I really hope not though, he's such a big character and a great driver it'll be really sad to lose him next year. Ron Dennis has a lot to answer for.