So, if, as you say, they sued you for pre-petition dues ... then I would assume that they did record their Notice of Lien prior to your filing.