I posted this question on a separate thread, but haven't gotten any responses yet. I'm leaning towards getting the Denon 1613, but was wondering if anyone knows of a list of internet radio stations available? All the literature says there's 10,000+ stations available, but I haven't found any full lists. I'm specifically looking for Shoutcast availability. If they don't support Shoutcast, am I correct in assuming that I can play it from my laptop and run HDMI through the front port to get it?