There are 35 Technical Service Bulletins on my car. One is for P130 Oxygen Sensor. This was read out when my "check engine" light came on. Do items on the TSB list have to be repaired free of charge by any Hyundai dealer?