It appears to have $250.00 worth of C/I wheel weights. Add in another $300.00 for a blade that is in the same shape as the tractor and you are down to $1700.00 for a nice 4020 with a 60 inch deck.
Seems like a reasonable asking price to me if it all checks out. My thoughts are that he'd let it go for two grand.