How much will that cost taxpayers when a judgment is entered for punitive damages?