Well, today I managed to get it started after about 20 minutes of trying. Then as I was almost ready to drive it out of the garage, I heard a large SNAP!!! coming from the engine department. Then the thing wouldn't start. Something is broken.
Now since it's old and we've already had it repaired two or three times, should we fix it as it will be real difficult to sell a broken mower? But the repair will probably cost several hundred dollars.
We had already bought a new riding mower, and were going to sell the old one. But now we don't know whether to get it repaired or just junked...if the latter is possible.
Put it out on the curb with a “best offer” sign on it, and if no one bites, change the sign to “Free” after a few days.