It looks like a standard Hailong case to me. They're all over Ebay, Amazon and Aliexpress as well as available from all our favourite suppliers. You need to take your battery off and take some decent photos of it because there are some minor differences in the various types.
12.5 and 7.5 are the number of amp-hours in each one, which is the capacity. You can get a battery with whatever capacity you want. Generally, the more amp-hours, the heavier the battery. The more capacity, the further you can go and you get slightly more power.
The specific Eleglide battery will most likely be a lot more expensive than an identical unbranded one.
This is probably it (select 4-pin version), but you must show photos to be sure:
1.Technical Data 2.Warm tips*Please read the instruction manual carefully after received the package, this will help you to use the product effectively.*Battery delivery cost much more than ordinary goods, in order to reduce the return shipping cost, please make sure: battery and motor should...
www.yosepower.co.uk