I’m too cheap to pitch mine each year. For anything like my boat, bike, hobby car, lawn tractor, I keep the batteries on a tender (trickle charger) 24/7. I don’t buy fancy, expensive batteries and this method keeps the batteries good for at least 5+ years.
Sorry Paul, I can’t answer your question specifically but I’m sure others will chime in. Did you do a search on the forum? I recall reading a lengthy discussion on this matter last year.