You say a "ETD 7345." I bet that is a Parallax/Magnatek 7345. That is a poor converter/charger. That is the one my RV came with. I finally got tired of poor performance and upgraded to a Progressive Dynamics PD4655 after 4 frustrating years.
A charge rate of 13.5 is going to take days to recharge a battery. You really do need at least 14.2, and that charger is not going to do that. Her other option is to buy a battery charger at Walmart or AutoZone, and use that to charge her battery.
Even with a 14.2 converter, or a battery charger from the store, a 1 hour charge won't be enough. You need to run it about 3 hours to get a good charge.