Retirement tax questions

I think it's safe to assume that if he is repaying the $700 on an installment plan, the IRS has already assessed the deficiency.  If the assessment is correct an amended return would serve no purpose.