The problem with the Tek TPS is that it is a very old architecture, over the 15-20 years it has been on the market it has been updated only once, just to remove the CF slot and give an usb port for saving screenshots.
At its heart it still uses the very old asic with 2.5kS memory per channel, it is a very expensive, very limited scope, but it still is one of the best tools for the job.
Tektronix has been updating all the lineup, minus the TPS series so that is why i started asking at every fair i went if they had the plan to.
AFAIK the current TPS models (TPS2000B) still have the CF slot. So truly dinosaurs and they still want $6K+.
Still, I get <1mV
rms noise, which is better than any differential probe I can get my hands on. And its very basic feature set 'just works'.
Of course they have 'updated' it with A and B models just enough so that most of the parts you might want for the older ones are NLA.