I drive a 2006 Honda Civic. I recently ripped the headliner by accident and am considering getting it repaired. A close-by repair shop said that they could do it for $399. I am selling the car to CarMax in a couple of weeks and am wondering if the amount that I would pay to have the headliner replaced would be more than the lower price that CarMax would give me for the damaged headliner. Do you guys have any thoughts about this or similar experiences?