Just a bit up the road from me...
Do you need this type of tractor? Are you just cutting grass and how much.
While the yanmar is a great engine and can last a lifetime with minimal maintenance and repairs, you can probably get this for 2300-2500 but you can buy a lot of other mowers for this much money.
I hate working on those. Too heavy for me.
I had a LA170 I think it was a few years ago...I know not even the same class of machine but it had a 48 and you can get 50 and 54's now I think.
I bought it used around 2010 with 165 hrs on it and it looked brand new.
Got a steal on it for 450.00 as part of a 3 item purchase.. I know that's a lot less than what it should have been as I sold it for 1200-1400 after shining in up a bit.
It had Kohler Command vtwin.
I could cut a lot of grass with a mower like that for a long time and it half the price at a regular normal deal.
I can buy a lot of mowers for 450-750 and that would be 4-5 mowers before I get to the price that super heavy duty JD diesel will cost.
I personally prefer zero turns to tractors for cutting grass and I barely even cut grass. They cost more but I can get them for 1200-1500 working well or like I prefer to do...600-800 that need a carb cleanout or something.
I bought my current Woods Mow n Machine 1991 model made by Grasshopper in 2008 for $750. It ran and moved but chugged and cut in and out with choke on when I bought it.
Cleaned out the rust flakes floating around in carb and it has run perfect ever since.
4 Wheel steering makes for a real tank and complicated things a lot if you do not need it and most people have never even operated a 4 wheel steering one so not a needed for most situations.
I'm just a practical cheapskate.