Thanks. This looks like an interesting competition.
For reasons that I'm not quite sure about. The UK (and probably Europe), does not seem to have/use many of the top professional HP Keysight and other makes, power supplies. Especially in the last few decades.
Maybe it is because (especially decades ago) the UK had a rich variety of other, rather good power supplies, at reasonable prices. So the tradition built up to buy ones like Farnell, Thurlby Thandar (TTi) etc ones, instead.
Apparently this is why second hand/used ones (HP Keysight etc), don't appear often in the UK (on ebay), sadly.
Because I prefer the high quality ones. You can then develop your circuitry, with one less thing to go wrong (i.e. little PSU noise/instability/inaccuracy, or even catching on fire (rumors) if we are talking about the cheap/nasty Chinese ebay PSUs).