That's correct, superhooper, remotes with a gray OK button use 4 digit codes. Remotes with a red OK button use 5 digit codes- they add a device group number to the front of the code. 0= cable boxes.
I've been pulling my hair out trying to program my remote to work with the DVR. Kupakai's 3 yr old post just made my day!