According to the receipt they replaced the spring with the same part. I called the day before and the parts guy told me they'd only received two of the three needed parts but said they would have all three the day I came in. But I guess not? Maybe someone in parts or service missed the point and just wanted to get the job done, and used the parts they had on hand. The service advisor is going to look into it when he's back in, he says he'll order the new part and have that installed when it comes in once he confirms the parts.