can't really decide what to do - buy new(larger) battery, swap it with car that is not being driven now, just charge that other battery and keep it in T32 with jumper cables...
going through battery size spreadsheets - I see quite a lot of options. because, according to my measurements - at least width allows ~2inch bigger battery, depth has about 1/2" allowance... probably should check height options too
