Forma Forma Replacement battery

[n0k0m3]

As my Forma is approaching the 2 years warranty, I'm wondering where can I source the internal battery of the Forma as spec'ed in the FCC report (1ICP2/80/99): https://fccid.io/NOIKBN782/Internal-...otos-1-3968131

Is it safe to assume that 2/80/99 is the dim of battery so as long as I can get a 3.7V 2/*/* with dim smaller/equal to the size of the battery? And if that's the case then where do I get a reliable source of "1ICP" battery model? (Ebay is not really an option as I'm planning this for next couple of years and usually these type of niche battery won't be on the market)