Replaced the battery... finally died, was on the car from FEB 2018 (OCT 2017 build date), I think it did well, 5 years almost exactly, I have never had one last this long... and most of the time it actually spent in the northeast, so it didn't get the Florida mild climate until mid 2020.
I have always bought the Autozone/AdvanceAuto ones made by Johnson Controls, and they never lasted more than 2-3 years, most of the time they died before the warranty was up...The OEM battery I got 000915105DE made by Enertec in Mexico was $30 cheaper and has a 3 year warranty.... So yeah, got another one of those at the dealer, has a NOV 2022 build date.
Wasn't looking to safe weight or "upgrade" either... and from what I understand, AGMs don't like heat so down here is probably best I stick to a regular battery (I don't think it even is EFB)