Yup, looks like 12.5v is the default and really meant for LA batteries . . .
Just referring to one our favorite charts, it looks like 13.0 volts might be a good number, which would put the SoC in the 30-40% range as a recharge point. I would think that values much higher than that would be...