Yes, the 7 AGM group 31 batteries weigh in at 72 lbs each. . . 504 lbs. total
I'll be replacing all 7 with just 2 Group 24 AGM (45 lbs each) and 2 LiFePO4 100 Ah (24 lbs each) for a total weight of 138 lbs. So, 4 batteries total vs. the 7 that were there, and should be a fair amount of space...