Paid it off, to where/whom? Where is the money now and is there a Form 5498 for that repayment?
You might read on the differences between Deemed Distribution and Loan Offset:
https://www.irs.gov/instructions/i1099r#en_US_2023_publink1000291962
*******************************
Don't yell at us; we're volunteers
