I would wait until closer to the May 17th deadline to see if IRS is truly going to make the adjustment or if we will have to file amended returns.
