Ok, Jsolo sent the spring fast, got it last night, and just installed it. Took about a minute, start to finish. The longest part was finding something in the garage (ended up with a piece of PVC pipe) long enough to wedge the clutch pedal down against the front of the driver's seat.
Popped off the c-clip, wedged the pedal down, pushed out the bottom pin only (came out smoothly), removed the entire spring assembly (top hat and top hat spring too), removed big spring, replaced with new spring, slipped it back on, reinserted bottom pin (went right back in), released clutch pedal, and reinserted c-clip. Could have only been easier if I was getting a back rub at the same time....
Heading out in a bit to see how it feels......