Retirement tax questions

No. Unless they take out any withholding on them.  Then she can file to get it back.