The selection of receivers with built-in tuners is pretty slim pickings right now. There's a wide variety of add-on tuners, but then you're looking at about $200 for the tuner box alone. The technology is just too new and hasn't spread wide enough and the car audio product cycle is just too slow. It's a shame, but it will improve with time.

To the best of my knowledge the only receivers with BUILT-IN HD-Radio tuners are the JVC units you mentioned, the Dual units, and--one you may have missed--the Jensen HD5212.

I'd say don't even consider the Dual, but consider the JVC or the Jensen. Both companies have solid product lines and pretty good reputations.