no this isn’t the best place to ask something like this but no matter where you post a question like this (gearslutz, etc) you’ll be just getting a bunch of subjective opinions anyway.
live band? 80s? I see why the vortex comes to mind. Call around a few local music shops to see who has one in stock and have her try one out in person to be sure she likes the feel of the keys, the key action, adjustability, mobility, etc.
Plug that thing via USB into a laptop running Arturia’s Prophet softsynth and she’s ready to rock 80s style.
By all means try out as many soft synths as you want to be sure they have the sound characteristics you’re looking for, every arturia and native instruments soft synth is available as a free demo. try before you buy!
Good luck, man