That's what I thought, but wanted to get confirmation. (It's a curiosity thing) Interesting that the maximum bit rates are generally (way) above the channel capacity. 80.0 Mb/s for WCCO, KARE and ION??? Not sure why they do that.
Just run the recorded data stream back through the decoder when playing back a recording.
I assume this is the same for the pizza dish satellite receivers that have a DVR.
Interesting that the KSTP bit rate is up there. They were berated here for awful picture quality because of bits being siphoned off for the mobile service in the past. I had no way of telling, before the Terk it was a DTV converter on a 20 inch Sony from 10 feet away.