The spring was broken on mine when I bought it.
The dealer didn't notice it when he gave it a pre-sale service and check up and I didn't notice it until after the warranty period had run out and then only by accident when I was crawling about in the foot well.
I was always taught not to ride the clutch pedal anyway so I won't replace it at least until I have to get the pedal box out for something else.
I guess the additional spring would make the clutch pedal heavier as well.