Seems that I am still dealing with the fallout from excessive upward pressure of my 123, probably the result of "the spring":
Have been having intermittent starting problems, traced it to no spark, checked the 123 distrib, Sure enough, the spring-loaded pin in the center of the cap was completely worn away.
A new cap and rotor solved the problem.
So, I should have changed the rotor when I first identified this spring problem a year and a half ago. It is recommended to change the cap and rotor every 15-20,000 miles, and I had about that much on this cap, but the wear appears excessive.
Fortunately I didn't get stuck anywhere.