I don’t know. Even if the lawyers didn’t take a dime of that pot, and even if the recipient didn’t have to pay taxes on that settlement, that’s only $2,000 per person that was injured on the job. Seems like less than a slap on the wrist and more like a wag of the finger.