Costco and Auto Zone both sell aftermarket batteries with the famous lip on the battery.
The Costco one is $47 with no core charge. Auto Zone is about $64.
The Porsche OEM battery is over $100 and is (IMHO) a piece of garbage.
Remember when swapping batteries, you will lose your radio, so you will need the code to recode it upon start up.