They probably meant an R10, but that's an SD receiver, and they don't make it any more, it's really old, I don't know why they would even mention it.
As peds48 says, you need an R24.....but why do you want an HD receiver when you don't have a dish that will get HD channels?