I was typing a reply to this then saw yours.
I wonder if he is using a portable charger? That is my guess. Maybe it is seeing the batts full after bulk and shuting down to read a false full? Can't he "fully charge" them, dissconnect them from the system, and check his open circut volatge for a SOC? Depending on the batteries, he should show 12.8 or greater, if I am not mistaken, at 100% SOC. He could also sepearte the batts and check the SOC independently. Assuming they are both not full, it is likely he has a charger problem and it is not accurately reading the batteries.
I think this underlines the importance of a good, multi-stage, deep cycle battery charger. As expensive as batteries are, it will make you money.