Probably..
I'm not sure it was Vettel whon decided when to pit.
Red Bull and Danny Ric basically benefitted from everyone else pitting early which is funny as that only happened because Red Bull pitted Vettel so early and triggered everyone else to do the same!