Don't forget about the VA76 too. It's much friendlier than your VA3, and easier to tweak in real time. More polyphony too.
The thre choices are top notch - better think long and hard about your performance needs because they all have diferent strengths.
Mic input?
Vocal harmony?
Are these issues?