Well, after a bit of research it seems that I likely have a 145A alternator installed, assuming it hasn't been replaced with something else.
There are several accounts of people getting over 50A to their house batteries, so I think I will go ahead and use the DC-DC charger, and also repurpose...