am interested in a car but they say that it has SLIGHT CLUTCH THRUST BEARING NOISE BUT CLUTCH NOT SLIPPING OR DRAGGING. How bad is this if the folks selling it say that it exists and haven't bothered to get it repaired? Is it just a minor niggle that'll do no harm but cause a problem a few years down the line????