What is the correct lien release request form for a mechanic's, materialmen's and constitutional lien in Texas?

My HVAC company filed a mechanic's, materialmen's and constitutional lien on a property of mine. I didn't know I had an additional payment due, and the notices they sent were to an old address. They finally sent me an email about it, so I mailed the check out but they filed the lien before it arrived. The check has since been cashed and they are paid in full but I have this property on the market and need to get the lien removed before it scares off any potential buyers. I know Texas has specific wording and steps that need to be taken, and I want to be sure that I get this removed correctly. Thanks!