Computing with Programmable Power Supply (PPS), USB Power Delivery priced £400 or less