You could go for the 8000 with the 2.4 Ghz. The system that you're getting her sounds like my 3200+. It is a powerhouse for most personal and work applications but wouldn't a little more speed be nicer?