There must be someone that still has an 811 hooked up. They could confirm that if they still receive the channels, then they are still mpeg2.
It uses more space to record something in HD,rather than in SD.
Well if they're still MPEG-2, I can rip my Hogan's Heroes Episodes for a few more days.
Every HD channel on 129 is listed as Mpeg4.