“Would someone from the HP team please clarify whether or not this model 15-EB0043DX can be charged using a third party USB C charger (assuming it's powerful enough) using the USB C ports or Thunderbolt port instead of the provided power brick ?”