So, lacking the hardware to look at, I took a stab at their firmware. It's pretty interesting. Random findings:
- The scope seems to be called "Elemental". (DPO5xxx was "AnalogKid", for example...

)
- Linux based, x64-based system
- "Tek049" seems to be their main ASIC, doing ADC and filtering, and I'd guess it also contains the demuxes and memory interface. It's connected via PCIe.
- some ini files refer to a (simulated) "MSO54", "MSO56", "MSO58", "MDO 4Ch", "MDO 6Ch", "MDO 8Ch", "MDO 4Ch + 1Rf", "MDO 6Ch + 1Rf", "MDO 8Ch + 1Rf"; who would have guessed, they're planning an MDO version of it...
- Software architecture seems to be QT-based; they use Python + Matlab for prototyping/calibration/testing/development. (There are python wrappers for their "CalSubsystem", which allows to invoke calibration functions
- Devices are "Afe" (Analog Frontend?), "Rfe" (RF Frontend?), "Afg" (signal gen?), "Tek049" (ADCs?), "Tek026" (Trigger IC?), "Mia" (their waveform-display-mux-FPGA), Hfd144, Hfd117
- Software seems to also work under Windows (well, if compiled for windows...); They ship some batch files which clearly can't be executed in the linux environment
Architecture seems to be very plugin-based and scriptable. It could be nice...