That would be another option yes of course. But if they think no debt was delinquent and the offset was in error, the place to start is Navient. If Navient can show that they were justified in requesting the offset (or the taxpayers decide not to fight Navient) then an injured spouse form would be the next step, assuming the original student loan debt was incurred before the marriage.
