I got the new over-center pedal spring. Looking at it compared to the old spring, the spring clip points are significantly different than the old spring .. so the old one was; a) worn or altered, or b) designed differently.
I installed the new spring and the pedal and hydraulics seem to work fine. Not as smooth as operation without the spring though..... as you'd expect since the spring pulls the pedal up on the upper part of the pedal range and assists the push down on the lower part of the pedal range.
As a side note, when I was at the dealer, they showed me the fluid they'd taken out of my clutch hydraulics .... it looked like two fluids mixed together...one clear and one dark. Oddly, they mixed like peanut oil and water and would then separate almost immediately after shake-mixing. This is nothing like the way water or 10W30 mixes with DOT4 or 5 (...yes... I did some garage experiments). The dealer's observation was that there were 2 very different, totally incompatible fluids in it ... telling them it was not just "dirty" DOT4 ... which is what they said they based their warranty denial on.
Anyway...I'm hoping its all OK for now.
eboch