Tangentially related, I can't wait for the price of LiFePO4 batteries to drop a tad more and then we can skip this lead nonsense completely
For comparison, the batteries we use are really only 3-6 AH in the FRC context (their apparent capacity is reduced as a function of current draw. This is demonstrated on most manufacturers spec sheets).
The only advantage of lead currently is it's peak current capacity is pretty high compared to it's actual capacity (it's C rating) per dollar.
We'd need to use a LiFePO4 pack larger than 6 AH just to get the peak current we'd need. That's not a huge issue though, it'd let teams run the same battery for multiple matches. Teams like ours would drop from 12 batteries to 3-4, which at current prices makes them cost essentially the same.
We'd also be replacing them less often annually. I think with that they'd actually SAVE money at this point already.