If shooting video is my primary mission, I am not part of a group and won't be interrupted, I will tend to prefer my Panasonic SDT-750, that is closely related to the TM 900 on the list.
If I am hoping to get video of an activity I'm involved in, like a family gathering, and don't want me or the camera being a distraction to the group, I tend to like the HX9V. Of importance is that subjects don't mind small cameras while they frequently are intimidated by video cameras.
Both take high quality HD. When the same scenes, taken in "normal" light, are viewed on a 55'' flat screen TV the viewers, including me, can't tell which camera has recorded the shot.