If you do not pay any of the $7000, mechanic's lien is easy, all they need is to go to county to file.