Minor update. I found some people saying their PB5xx machines run fine on 12v, and I've had the buck and boost converters getting very hot during longer use, and so I decided to see if I can just use the standard voltages supported by USB-C for the two higher ones (15v for 16v, and 20v for...