I learned more in the last 2 mos. than I ever wanted to. I don't think you can go wrong with either of those 2.
Dollar for dollar, you won't be able to beat this: http://www.amazon.com/Scotts-2000-20-20-Inch-Classic-Mower/dp/B00004RA3E Seriously, I have one and it takes me 30 minutes to do my lawn for a yard not much smaller than yours. Add in 10-15 every other week for trim work around trees, etc and not a problem. I do also have an old Ariens gas powered that I inherited when my parents moved out of state.