If you are buying the car from Carmax, they have to provide a clear title, with no lien. Now, with that said, if the car was traded into Carmax, or they purchased it from someone and paid the lien off, it does take alittle time for this to be reported to Carfax...can be well over 30 days. I have been in the car business since 1993 and I do the title work for an Acura and Mazda dealership right now. I would be happy to answer any other questions that you have.
You would need to verify the lien in the state that it was recorded in.