Well, Independence Day was not a total loss. At least every FBI employee got paid.
And probably overtime to boot!