Just having a browse around and they seem to have several options for the E10 style battery. The 17.5Ah one is here: https://www.aliexpress.com/item/1005003582626579.html?spm=a2g0o.store_pc_allProduct.8148356.1.51b64d50RnXqg5