I would buy new
The Gravely has the better trans with the 3400 series. The Big Dog/ That is basicly a Hustler painted red has the 3100 trans.
They are both good machines, I would demo both and buy what feels right and cuts the best in your application
Does your dealer have demo mowers?