D.B.
There's not much to a push mower - nothing to really maintain, few parts to deal with. I would go for a wide one to limit the number of passes, and one with an adjustable height so you can keep grass longer in the hot weather so it doesn't burn out. Raking clippings is time consuming, but so is emptying a bag. Some people like to leave clippings on the lawn as mulch, but that only works if you only take a small amount off the top each time, which means mowing more frequently.