Answer "YES". She is covered at work. She still may be able to deduct contributions to her traditional IRA, but the will be a function of your combined incomes. TurboTax will make the calculation for you.
If you have additional questions or details regarding this, please feel free to post in the comments for further clarification.
