I recently bought a used 2018 Model S with 40k miles. Seller said he doesn't think the 12v battery was ever replaced but isn't 100% sure. With winter coming up and the car approaching 5 years old (Dec 18 build) I was contemplating replacing it. The current battery is "C&D Technologies Deep Cycle Series DCS-33UNCR." Is this the original factory battery? Would you replace it? Thanks.