I dont get why you keep bringing up 5 year old receivers?
Pretty much all of them you posted are DVB only so you'll be missing a bunch of programming and if they have AC3 you need something external to decode it. There are plenty of options out there that will do S2 and AC3 internally and wont cost a whole heckuva lot