What is the IRS processing fee they were talking about?