Have a 2017 90S that we bought new 4 years ago, Today we got a noticification that the 12v battery needs to be replaced soon as software updates won't complete until it is replaced. Cost is a little over $200, and I was just wondering if this was covered under the warranty----just seems funny for such a crucial part to go and not be covered. Thank you.