I posted the same question on another forum and got different opinions. One suggested , like you, tuner software
may possibly modify the voltage. Others say that a slightly less charging voltage will not affect the AGM battery and
it should work fine with the stock alternator voltage of 13.9...