Benchmark's super quiet SPS

There's been some "noise" (<rimshot>) lately about Benchmark's SPS in their newer products:

Audio Myth - "Switching Power Supplies are Noisy" - Benchmark Media Systems, Inc.

Does anyone know if these are externally sourced modules that a hobbyist could get a hold of, or if they're Benchmark's own design? I'm thinking of putting together a Raspberry Pi + DAC + external HD setup for work, and was looking for the cleanest option to power it, and the size advantages of a SPS would be useful in this application.