Thanks Chris.

I haven't bothered to look at all the specs for HD Radio so I don't know what the antennas are tuned for. Agreed, HD Radio doesn't mean high def but it's WAY better than some of the streaming radio at 32Kbps.