Both of my battery terminals broke off with age. I was looking at crimping new terminals. Anybody knows what's the size of the battery cable used in AWG?