Both sides may have spent a substantial fraction of that in attorneys' fees.