I see you already made your choice, but I would "third" the Honda push mower. I have a 2006 Honda 217VKA self-propelled 21" mower I bought new for $600-700. It has a 6.5HP Honda overhead cam engine, and compared to other brands seems to be a tad quieter and more fuel efficient. I will say this engine is not a Honda "GX" engine which is commercial rated and cream of the crop, but rather a "GC" engine which is a consumer engine and not quite as nice or long-lived. I've used mine extensively. It starts easily, I've never had the carb off or cleaned ever. I leave gas in it every year. The self-propel is variable speed, rear-drive, via paddles on the handle which you operate with your thumbs. Very easy and comfortable.
Part of the excessive cost is that the deck is made of a composite material (plastic) called Nexite. It never rusts, is extremely durable, and scratches don't show because there is no paint. The entire plastic is the gray color. Honda demonstrated it's strength by parking a Honda Pilot SUV on top of the deck.
The wheels are also all 9" tall with ball bearings in them for smooth rolling.
Bagger is standard, with the option to mulch or discharge. Discharge is out the rear, there is no side outlet. Discharged grass does not hit you. There is this lever Honda calls the "Clip Director" which you just slight left to right...one side is bag/discharge, the other side is mulch. You can have any variation of bagging / mulching or mulching / discharging at the same time which is cool too. However, the Clip Director mechanism often gets clogged up underneath (I never clean my deck since it won't rust) and doesn't work that well sometimes. I leave mine on mulch.
Finally, the blades...there are actually two blades, stacked on top of each other, slightly offset. This is for a nicer cut and finer mulching or bag clippings.
It's been a great mower and I'd recommend it. Honda actually goes a step further and you can option for battery electric start and hydrostatic drive with cruise control, but the price goes even higher. Alternately, you can buy a steel deck Honda mower with a slightly smaller engine for around $400 that has less features but is still a great machine.
I own a side landscaping business, so I'm kind of a geek on mowers.