If no dice on the stock battery, contact these guys:
https://antigravitybatteries.com/ . I don't see that they have one for '15-20 F8X series but they will have something that likely works just fine, and will likely be cheaper than the BMW one...they are very responsive to emails....Porsche guys use them to reduce weight by getting rid of the god awful heavy AGM batteries...