This seems to be my problem at the moment. Could you see if the the aux battery is ever charged when the car is turned off and not plugged in? What happened once you discharged the aux battery, did the DC/DC converter kick in at some stage?
That could be the missing piece in solving my loss of...