Steve,
If the ones at auto zone are the same size physically so they will fit and have the same amperage rating, they should work as well as any others. Jack sells a lot of those type batteries for the off road vehicles around here and the physical size seems to be the main problem as so many of them are just a little larger than others.
Glad to hear that you got a fun project for you and your son to work on.
Ron