I bought a gravely 2250 from a co-worker 2 years ago. It is definitely what I would call a residential mower. 50" cut stamped deck (but still 10 or 11 gauge), 22 HP Kohler. It worked flawlessly for him and so far has been flawless for me as well.

My 8yo son cuts our 2.5 acres and it definitely does it faster than my 54" husky used too.