I thank you.
As best I can tell, the RCA DRD420RE is the "favorite" of folks who still prefer the older receivers. I still have another used one on hand for backup, and I have found one website that still has a listing for new ones and makes them available whenever they might happen to come...