Interesting point about 5-15% loss due to charging the 12V battery (depending on state of charge I guess) - not obvious.
Actually I think I got that wrong ... I reckon it's the power needed to run the 12V on-board systems required for charging (battery monitoring, charge control, cooling fans, etc.). Plus a small amount to keep the 12V battery topped up.