Thank you, yes not deductible, but good news is they set back twice the amount they figured they would have to pay in