One can really only hope. But who knows if the DOJ would rather keep $4 billion to themselves. That’s the great mystery of our time lol.