Hi Ted, and welcome here.
Just be careful charging the battery up with a car charger, they will cook them but I guess if the battery is at least 5 years old then I guess it doesn't matter that much.
Anyway seems you are off to a good start with the best lawn mowers ever made, just be careful collecting these can get out of hand quickly