Heh, I'll have to watch for that sale.

4x12AH batteries, that's gonna be over $1200.

I doubt you could charge them faster than the welder can run them down, so you might want three sets and two gang chargers if you want production anything like a plug-in machine.