Sure is get the tenant to contact the Real Estate agent to see if they put him on tica. Although the agent should have advised him in writing if there were going to do so.
If the agent says yes, then you can write to the agent and let them know the debt has been paid and they can put zero's...