Report? To who? The DOJ? Hello?
To the media, at the least. And filing with the DOJ is still worth the time; better than just roling over.
Good point!!