How quickly can Gulf oil start gushing again?