It's in the ballpark.
You may begin to find things that were already known about this 'free' tractor. But you could consider you have about $4000 to work with, being as it was worth that if in good used running condition.
Not sure if it might be possible to find a used starter in a Deere boneyard somewhere that is hopefully near you.