Hmmmm ... I did look up under the dash to look for sloppiness in the pedal, etc., but don't remember looking at/for the spring. Will definitely notice the next time, but that will likely be next weekend or so if I replace the master cylinder.
Any others' experiences/"external" repairs for this problem?
Fixed Up a white 2001 P-code SE Sedan
including rebuilding the SPI (see my threads)