I'll second the VX2100 recommendation, I've been using one for 2 years now and am very happy with its performance. It's not HD, but it is 3 CCD and produces a beautiful picture.
If she's determined to get HD, there's a new model by Sanyo that sells for $800, but I haven't heard any reviews on this camera yet (see thread below in this forum).