Dont buy all that ASC sell you after all its your car and not theirs be adamant to get the issue fixed.when i had the issue with clutch i paid for the entire work (Clutch plate,Pressure plate, Release bearing,flywheel polishing ) and then took up the matter with Hyundai customer care and finally i was refunded the entire 12K in the subsequent service.Those ASC guy will tell no theres no issue till the warranty period once the car goes out of it they will give you the list of things that need to be replaced to get the job done.