Car wouldn't crank so I had the battery tested. It shows to be bad. The OEM battery is rated for 850 CCA. The aftermarket battery they say is made for the M5 is 800 CCA. Is there a problem using a battery with lower CCA than the original?