Oops, I forgot to post about it. I mowed the lawn yesterday. I did the riding part first after our oldest DS showed me how to use the rider... whe-eeee!
Then I finished the trim with the push mower, and it took about 45 minutes. It was really long so I'm going to rake the dried grass tomorrow and put it in the compost pile. First (at DS's suggestion) I'm going to go buy a wider and lightweight rake. The one I've been using is an old wooden one DH found when somebody threw it out about 20 years ago.
I might get a thatch rake too and do that when I finish if I have the energy.