GWInstek GPD-3303S programmable power supply for $129+$22 shipping..
Thanks to the ITT auctions , there's a ton of these on eBay and prices have come down. Most are going for between $140 and $160 shipped.
Got this one from an individual selling only one - so not sure if it's from the ITT auction but I like that the cosmetic condition is known versus some of those sold by sellers with multiple units.
Nice thing about this versus most modern PSUs is that the service manual, complete with schematics, is available online.
Did I need another PSU? Of course not! But none of my vintage HP and PD supplies are programmable - so there's that...
Now, off to TEA to confess my sins.