These are great little mowers, mine is 12 yrs old and so far ive replaced a belt and plastic pulley wheel. Mine looks brand new, great anti corrosion on them.
John Deere do a service kit for these with everything you need right down to the correct amount of oil.
Good luck with the sale.
There is a place on this planet for all of Gods creatures.........right next to my tatties and gravy.