For others who may go this route:
DVD 1033 is already programmed to send the correct signal for the number buttons, but by default the Channel Lock feature causes the remote to send Cable IR signals instead of the DVD signals.  The channel lock feature can be disabled and/or reconfigured, avoiding the need to enter in EFCs for the number buttons.