My radio died today, and my dealership is going to replace it tomorrow, under warranty, I assume. Is there a Hyundai radio that also has HD? Or are they all the standard AM, FM, XM ones? I was thinking of asking them to replace my dead one w/one of these, even if there's an up charge. Thoughts?