I would set to 13.4V That 12.5V setting is for lead acid batteries. If you left it at 12.5, the charging wouldn't restart until the lithium battery got down to 12.5V which is basically dead.
If it was my boat, I would have yanked that Xantrex inverter and put in a Victron. There is so much I...