Thanks, not sure if the OEM was used.
Car has done 63k, and just had the front springs replaced.
It was an independent mechanic, I have asked him to give me the old spring, with the hope it has a part number on it. My fear is that they have used a standard spring and not the lowered sports...