I did not, and that’s a very American thing that dealerships massively rip you off. (though yes OEM parts are always more expensive)

I bought a high CCA battery because I need it where I live, they are expensive. The one I got is an Odyssey PC1750T which I have no clue what the price of is in America, but 600+ usd with taxes isn’t uncommon in Europe.