After pricing a good solar controller, plus a good solenoid and alternator charger... it's looking like a CTEK is the way to go.
Anyone using one and want to share?
Please, no giant argument threads about not needing a DC to DC (alternator) charger. My brand new, stock alt puts out 13.8 and that's it. Done and Done.