I ordered an extra power supply for the ThinkPad: $19.00. I recently ordered an extra power supply for my MBP: $79.00 + $19.00 for the USB-C cable that doesn’t come with it.