I just got one of these a few days ago, used, for a pretty good price.
Grace Digital GDI-IRC7500
Sounds really good! No AM/FM, it's strictly internet (I got the wired ethernet adapter), but it picks up all? the locals including HD radio which you might not get if you don't have an expensive HD radio receiver.
First thing I did was tune into UK (don't ask why, no reason) and found some interesting upbeat music to listen to, and then I've scrolled through Korean, Chinese, Arabic, all kinds of world music & talk, & even some old time radio.
Mine has been stuck on my Fugazi channel from Pandora almost all morning (linked the account).
This version is LARGE. I think it's comparable to (blows away, I bet) the Tivoli Model One (Henry Kloss) I've read about.
No web interface, and their smartphone app requires wifi.