The Pfaff Tiptronic 2040 is the machine I use. I bought it used a few years ago for $500. Have had no problems with it. If you can get it for a reasonable price for her, don't pass it up! I also have an old Kenmore in the classic 158. series and love it, too, but bought the Pfaff because I wanted the dual feed dogs and "needle down" capability for machine applique. Now it's all I ever use.
Just make sure she knows not to place it in direct sunlight. Direct sunlight messes up the electronics on computerized machines. I do have mine in front of a window because I need bright light, but I keep the curtain drawn at all times unless I am using the machine and there's no sun shining in. I think she will be thrilled with the new machine. The more complicated something is electronically, the more kids like it.