Ultimately I chose among these three:

HD-Radio:
    Clarion CZ505               -- It had very few reviews, so there may be problems that weren't uncovered.  But I went ahead with this one.
    Sony MEX-N6000BH            -- It can't pause Bluetooth when you step away?  WTF?
    Pioneer DEH-X8700BH         -- It has a very novel interface, which some folks love, other folks dislike.

non-HD-Radio:
    Pioneer DEH-X6700BS         -- Uniformly good reviews.