I'll throw a spanner in the works - IMHO, if money is a concern, and you have a decent solar system looking after the batteries, all you need is amps - A bench power supply such as 13.8V power supply
20AMP for $100, 40Amp for $200 is adequate for the job.
A while back I did a spread sheet that showed charge time for batteries using a smart charge vs a dumb 13.8 supply (unfortunately I have lost it). Essentially it showed that in any real work world situation, bigger is better, the flatter the batteries are at the start, the more gain you get from big. It compared a 0.1C size smart charger to a 0.2C sized 13.8V power supply. (In your case with 200AH battery, 20Amp Smart vs 40AMP dumb) In any situation with the battery below 80% charge, the big charger was faster to get to 95%. The only time a smaller smart charger provided fast charging to more than 95% was starting from above 80% charged.
All this presumes a solar system with a good solar controller providing the smart charging that batteries need to finish them from the 95-98% charged to fully charged.
Don't be alarmed when you see me talking to myself, I am getting expert advice.