How do we know what was done ? none of the companies have filed. And if it was done it happened in April when the pump was on .