Yeah that seems great. And +1 to using rock band drums as midi trigger pads.

When she's ready to move up, try to find something with 88 weighted keys, get some cheap powered monitor speakers and a decent laptop and she could even gig. One thing I always wanted to get into was improvised solo looping. Basically, you play a melody/riff and set your laptop to loop it and then you can layer stuff on top on the fly and come out with some pretty intricate stuff. There is a ted video where a beatbox guy does this with his voice and accurately mimics an entire jazz ensemble.