What is the brand of this receiver? Are "Digital" or "Terrestrial" brand names?
Have you tried calling the helpline at (888) 284 8735?
If you can find your device in the Pronto files section
, I might be able to find the 15-1994 code for you.
At any rate, this question might get a better response if it were posted in the Radio Shack/One For All