I concur ... don't bother amending for such a small amount. If the IRA ever catches this and even bothers to send you a bill the worse they can do is add a couple of dollars of penalty/interest. Let them bill you ...doubt they ever will.
