“Is there an external rechargeable lithium battery power pack you can recommend for this laptop? The Diginex USB-C PD Power Bank 27000mAh, iProPower Portable External Battery claims it will work. Does the HP Spectre USB-C Power Pack mAh 20100 work?”