This would make sense but I can't find any documentation on how to use the generator inlet (not the HPP connector) or any cables that would connect to it. Maybe a future product offering or I'm just missing something, but the generator input adapter does not fit that port.
I tested this over the weekend. The generator input to the F3800P works from the Lightning. I was able to charge the battery from the truck with no problems, at 240v. However, the setup originally proposed (which I really hoped would work too), does not work for a couple reasons.
The generator...