1st question. Not taxable. She has basis in the Roth IRA.
2nd question - No. The employer contribution has never been taxed. No deduction.
