Hi,
If you don't think you will spend it, then she can just ask her payroll person to make sure its taxed at normal salary rates. They should really be doing this anyway unless you have completed an Income Tax Withdrawal Variation (ITWV) form.
Then at tax time, you can use either the receipts...