I have used a Sanyo HD1000 and HD1010 for a few months. The HD1010 does 1080p / 30fps and records directly to H.264 format MPEG4. I typically record 720p / 60fps since I feel that it records action a bit more smoothly with less motion blur.

The video it takes can be stunning and is "pocket sized" for coat pockets, but slightly too large for pants pockets. Probably my only complaint is the poor image stabilization, but I've improved my video shooting techniques so that it is not much of a problem for me anymore.

Note that you will need a Gen 2 Macbook Air to playback even 720p videos from the Sanyo. My 1.6ghz MBA was not fast enough to play back the video without dropping nearly 1/2 the frames.

One of the things I don't like with other models such as the SONY TG1 and the Canon HF100 is that the record in AVCHD format which is not natively supported by many programs. I owned a SONY TG1 for a while and found it to be rather limiting in comparison. You can not upload the files from these other cameras directly to Vimeo or Youtube like you can with the Sanyo, for example.