Did you have it repaired or buy something else? Was if fixed at the dealership?