Re: top spring question
Sounds to me like they don't know what they are doing. It was fine before they touched it, right?
Chapter 23 of the service manual is the only place you will find your answer, and it won't be easy to find - the descriptions are horrible.
But we know this: The springs didn't wear out in the instant they touched the car.