You'll be happy with that mower for the size lawn you have. I believe they are the same as the Craftman versions with similar specs. I have a Craftsmen 54" with a kohler engine that has over 400 hours on it. The only issues I have with mine are deck service related - but I have 3.5 acres with rocks that find it more often than I'd like and I mow and another 4-6 acres 2 or 3x per year behind mine as well. Part are easy to get and it's easy to work on.
Happy mowing.
