In my opinion, you’ve done all you need to. Buy an ammeter and go from there.
Depending on battery type, 12.6v is about what I’d expect for a fully charged, open circuit voltage. Your 12.3v measurement at the bus is with some electrical devices turned on, thus dragging the battery down a bit...