18HP is plenty to mow an acre.
Kawasaki will run 2-3 thousand hours
Says 3 year warranty, may be some left ?
At $1900, I would definitely buy it .
It's already there, one less thing to do.
(Encore just moved back from China a few years back. IIRC?)
Congrats on the new house !