Has the insurance company actually formalized a lien against the recovery with the court?