There was a lawsuit involved, IIRC. Taxpayers don't resolve lawsuits.
Lawsuits can be dismissed. susie