Well they said there should be enough. . I am sure if they could of they would of.There was enough but they couldn't pump it out. For the millions they get for each championship point, I would be drilling a hole in the bottom of the tank to drain it out.
As you say millions and they don't have a system that shuts it all down.
It ran out when he was returning to pits if I am not mistaken?