There's definitely ways to shrink this down and I tried to address that in the initial DC-DC selection. The minimum supply that certain P-Series Lenovos require is 135W, while this module is rated for 150W, it is available surplus for relatively cheap (40$) without requiring building a full enclosure.

Looking forward to taking a second pass at this and shrinking it down.

at the moment it's somewhat smaller than the stock 'brick':

https://transistor-man.com/PhotoSet/lenovo_dc_supply/P113071...