“Can you use a sufficiently sized external battery pack (Like a 16,000 MaH) with a USB 3.0 - USB C cable to charge if you don't have access to wall power for the HP power supply? Most external batteries output is 15V, 3A.”