He has two 12 volters in parallel, but yes, the purpose of the solar is to float, not do an 80-100. The Mean Well will more than handle that part, within the OP's specified time frame.
And because the Mean Well has adjustable voltage, it can be set to a decent boost/abs voltage, as well as a suitable float voltage. Moreover, if the need arose where the batteries required a good top charge, or even an EQ'ing, due to lost capacity, falling or unequal sg readings, unequal voltages across each battery, etc., the Mean Well's 13.5-18v range can handle any job required of it.
According to the OP's original post, the issue is with the existing charger not getting the job done fast enough. But the Mean Well will put out ~ 40 amps, compared to the 25 amps of the existing charger. And because the rsp-500-15 has a high PFC rating, it will not overtax the generator while doing so.
As for how much solar will be required to supply 1 Ah / day, a small panel mounted up high, in the sun, (not on the roof in the shade), should easily provide enough power, on average, to replace the 1 Ah / day of self-discharge.
The entire set-up should cost less than one Morningstar 30a mppt controller.