I have it narrowed down to 2 that I can get locally from dealers:
1. Gravely ZTX 42" roughly $3300
2. Dixie Chopper Zee 2 42" roughly $4100
I had not ever heard of these brands before I started looking. I do not mind paying the extra. There are a few thing I like better about the Dixie...