yes, 80 ah
I had an wfco for a minute and never got it above 13.6 or so but maybe I did something wrong. Others may help you with that.
Several in here use the 1093. You could split them if you like but I would do them together probably. If you want to split them the battery selector with 1/2/both functions would help as you could use it to separate easily and then switch back. All with one knob.
The 1000 watt would probably do most of your battery charging and use minimal fuel but it wont do the heavy stuff. I'd buy a 2000.