Absolutely gutted for Vettel. He's scored well aside from Malaysia, so he's still got a good chance of winning the WDC.
Although, now that he is out, Grosjean is going to push Alonso for 1st place. Can he beat Alonso? I doubt it, but this will be fun to watch.