I liked the Gravely and its an old name in mowers but online reviews make me hesitant has a 23 hp Kawasaki and I think a 52" deck..
Don't know anything about Kawasaki, prolly can't get a good Gravely in your budget anyway. Like I said his Gravely was used. Get a Bad Boy, my sons is 54" I think.
.