Thank you all so much for the advice!
As I suspected, and learned from so many of you over the years here, WFCO's are not the "bell of the ball".
Personally, I left my WFCO in my 5er and charge my battery banks by a separate vectron battery charger someone recommended all those years ago... It works well and does the job.
My friend will probably go the inverter/charger route with a built in transfer switch from PD. That's what I'm going to take back to him.
lwiddis - I am going to take a trip to costco (hopefully) tomorrow to look over the GC's they have in inventory. I'm sure I'll be in for a sticker shock but every time I got to market, I'm in sticker shock there. It's like 1979 all over again (Inflation!)
Again, thanks so much!!