A DC-DC charger can be used instead of the ACR. If you currently don't get enough charge current from your alternator, a DC-DC will fix that. It will also address the issue (although I don't consider it an issue) of the higher lithium resting voltage keeping the ACR combined most of the time, at the expense of loosing solar charging of the truck battery.
I sound like a broken record here, but would go with the Victron DC-DC over either the Redarc or Renogy options. The two big advantages of the Victron is the configurable output (dial it in for lithium or whatever comes next) and the remote monitoring.