A USB-C PD power supply which supports 130W is probably gonna be more expensive than whatever power supply they're using now...