Agreed, WFCO are pretty well established to be junk.
Most of the newer units have a lithium mode, so it should be no cost to get one that can handle lithium or lead acid and when you replace the batteries, lithium makes a lot of sense. Lighter and for the same amp-hr rating, they have double the usable amp-hr because you can safely drag them very low. Lead-acid don't like to be below 50% charge.
75amp charger is overkill for almost all situations. It can also be a hassle if you are on a 30amp shore power pedestal. If it decides to max out, it's going to pull 1000-1100w. If the aircon is pulling 1500w, that doesn't leave a lot of room for other misc loads before you start popping breakers (30amp is 3600w peak but only 2800w continuous load).
Even if you have a massive 400amp-hr battery bank and it's dead, one overnight with a 35amp charger will have them full by morning. So unless you regularly drain the battery bank and want to fast charge with a generator, not rally any benefit to the big charger.
When our 55amp WFCO failed, we switched to a 35amp powermax and have been satisfied. Nothing 12v DC that runs for more than a few seconds pulls anything close to 35amp, so if you are running the stabilizers/slides, it pulls the excess amps off the batteries and within a few minutes, the charger has replaced it. For lighter continuous loads like the lights, I've never seen more than 10amps (usually 5-7).