Nice machine. If it was in my area, it would have sold already. Your asking price is about $4K lower than most in my region.
The JD1050 with the Yanmar turbo 3-cly is a very desired machine. If it was red, then it's a YM4300 in Yanmar brand.
If you go smaller, the JD1025R or the Yanmar Cub Cadets would be something to consider. If you are near a Rural King, then the RK37 would be really nice.