Not sure if this is the same thing but Sony made a "Digital Radio" tuner box ( http://wd4eui.com/Sony_XDR_F1HD.html) in the early-to-mid 2000s. Didn't build them very long (few years). Weren't expensive, less than $200 as I recall.
My 14 y/o Onkyo HT receiver has digital radio which I made use of in Las Vegas (very nice sound!). I haven't been able to make it work since I've been in Indianapolis, however.