Wife and I just moved and added this 31 year old to the family! My brother told me to get something new and reliable, but I don't got that "new" kind of money! Went the reliable route and I'm hoping to keep this old $500 dogg running for years to spite him

Totally green here, first time JD owner and riding mower owner, but I am handy and mechanically inclined.

Looking for some advice on:

-Where to get maintenance, service and owner manuals
-General steps to take after acquiring a new machine like this

Here's my list so far:
-Clean it up, check for leaks
-Order JD maintenance kit and change oil, plug, filters etc
-Grease all the fittings
-Check for wiring corrosion and replace as needed

Point me in the right direction and help me spite my brother