Hi folks-- I was the original poster.

I think the problem has solved itself. The other day, a van from Sears
stopped by the neighbors (their mower is a Crapsman) and I believe their
mower is now working -- they used it to mow their lawn, anyway.

Thanks so much for all of the solutions.

-Tim