Yup, the really frustrating part is you can't even order parts. It's easy enough to replace but I just couldn't source it.
Shouldn't have to replace it for a long time (if ever) and seems to work fine. More expensive than lead acid but more convenient than service appointment for a 12v battery.