I had a similar problem a few years ago I just filed an amended return and attached a spread sheet showing my calculations and explanation (ie a copy of the CRSC determination) to get a tax refund. It appeared the IRS is aware of the CRSC and the 1099-Rs from DFAS. If you look at the amended return it is rather easy to file
