What can he do to make her quick claim it and does he have to file with the courts?

My friend got an uncontested divorce about 12 years ago after a 17 year marriage. All property was dissolved except the home where he and the kids lived. The only property was the house with no equity and a $130,000 mortgage (value if house). He took her name off the mortgage at that time but not the deed. They had a verbal understanding she didn't want it. Nothing in the PSA. No attorneys involved. He offered her $10,000 recently to get her name off but she said no. She’s in another state but both resided in one state at the time of the divorce. House was bought 8 years before the divorce and within the marriage by both parties.