It would be multiple batteries totaling that. Stock and prices are constantly changing but RUiXU, EG4 and EcoWorthy are widely available brands with UL listed options. Will Prowse's website has a page dedicated to code compliant batteries and there are several long lists and excel sheets on the diysolarforum.