I remember eddie13 considered a challenge to see if Lauda would get excluded after a red tag, but by the looks of it, I don't think that's going to happen any time soon.