I would. But technically, if they previously deducted it then it belongs as other income to the extent they received a tax benefit - like a state tax refund without a special line on the 1040.
