Can anyone tell me if we are able to declare NFL as a lost during tax filing or do we have to wait for the administrator to declare NFL out of business?